| 2024 | SC | Towards Verifying Exact Conditions for Implementations of Density Functional Approximations. | Sameerah Helal, Zhe Tao, Cindy Rubio-Gonzlez, Franois Gygi, Aditya V. Thakur |
| 2021 | PLDI | Provable repair of deep neural networks. | Matthew Sotoudeh, Aditya V. Thakur |
| 2021 | TACAS | SyReNN: A Tool for Analyzing Deep Neural Networks. | Matthew Sotoudeh, Aditya V. Thakur |
| 2020 | Networking | A Deep Deterministic Policy Gradient Based Network Scheduler For Deadline-Driven Data Transfers. | Gaurav R. Ghosal, Dipak Ghosal, Alex Sim, Aditya V. Thakur, Kesheng Wu |
| 2020 | OOPSLA | Analogy-making as a Core primitive in the software engineering toolbox. | Matthew Sotoudeh, Aditya V. Thakur |
| 2020 | SAS | Memory-Efficient Fixpoint Computation. | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
| 2020 | SAS | Abstract Neural Networks. | Matthew Sotoudeh, Aditya V. Thakur |
| 2019 | GLOBECOM | A Reinforcement Learning Based Network Scheduler for Deadline-Driven Data Transfers. | Dipak Ghosal, Sambit Shukla, Alex Sim, Aditya V. Thakur, Kesheng Wu |
| 2018 | ICSE | Path-based function embeddings. | Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-Gonzlez |
| 2016 | VMCAI | Automating Abstract Interpretation. | Thomas W. Reps, Aditya V. Thakur |
| 2014 | CAV | Property-Directed Shape Analysis. | Shachar Itzhaky, Nikolaj S. Bjrner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur |
| 2012 | CAV | OpenNWA: A Nested-Word Automaton Library. | Evan Driscoll, Aditya V. Thakur, Thomas W. Reps |
| 2012 | CAV | A Method for Symbolic Computation of Abstract Operations. | Aditya V. Thakur, Thomas W. Reps |
| 2012 | SAS | Bilateral Algorithms for Symbolic Abstraction. | Aditya V. Thakur, Matt Elder, Thomas W. Reps |
| 2012 | SAS | A Generalization of Stlmarck's Method. | Aditya V. Thakur, Thomas W. Reps |
| 2010 | CAV | There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. | Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal |
| 2010 | CAV | Directed Proof Generation for Machine Code. | Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps |
| 2010 | OOPSLA | Instrumentation and sampling strategies for cooperative concurrency bug isolation. | Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu |
| 2009 | ISSTA | Cooperative crug isolation. | Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu |
| 2009 | TACAS | The YogiProject: Software Property Checking via Static Analysis and Testing. | Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur |
| 2008 | CGO | Comprehensive path-sensitive data-flow analysis. | Aditya V. Thakur, R. Govindarajan |