Aditya V. Thakur

Aditya V. Thakur, Thomas W. Reps: A Method for Symbolic Computation of Abstract Operations. CAV 2012: 174-192

Evan Driscoll, Aditya V. Thakur, Thomas W. Reps: OpenNWA: A Nested-Word Automaton Library. CAV 2012: 665-671

Aditya V. Thakur, Matt Elder, Thomas W. Reps: Bilateral Algorithms for Symbolic Abstraction. SAS 2012: 111-128

Aditya V. Thakur, Thomas W. Reps: A Generalization of Stålmarck's Method. SAS 2012: 334-351

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur: Proofs from Tests. IEEE Trans. Software Eng. 36(4): 495-508 (2010)

Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal: There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. CAV 2010: 41-56

Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps: Directed Proof Generation for Machine Code. CAV 2010: 288-305

Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu: Instrumentation and sampling strategies for cooperative concurrency bug isolation. OOPSLA 2010: 241-255

Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu: Cooperative crug isolation. WODA 2009: 35-41

Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur: The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS 2009: 178-181

Aditya V. Thakur, R. Govindarajan: Comprehensive path-sensitive data-flow analysis. CGO 2008: 55-63