Aditya Thakur

I am part of the programming languages group and work with Prof. Thomas Reps on machine-code analysis, abstract interpretation, and decision procedures.

My research interests lie in developing tools and techniques that make the process of developing, deploying, and executing software more reliable, efficient, and fun.

Click on the projects and publications below to learn more.

Duvidha ▷ Decision procedures ⊓ Abstract interpretation = Satisfiability Modulo Abstraction.

Symbolic Abstraction ▷ Synthesizing operations for abstract interpreters.

McVeto ▷ Verification of stripped machine code.

OpenNWA ▷ Library for nested-word automata.

Co-operative Crug Isolation ▷ Identifying root causes of concurrency bugs via statistical debugging.