Aditya Thakur
TitleCited byYear
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons, SD Tetali, AV Thakur
IEEE Transactions on Software Engineering 36 (4), 495-508, 2010
1802010
Instrumentation and sampling strategies for cooperative concurrency bug isolation
G Jin, A Thakur, B Liblit, S Lu
ACM Sigplan Notices 45 (10), 241-255, 2010
992010
The Yogi Project: Software Property Checking via Static Analysis and Testing
AV Nori, SK Rajamani, SD Tetali, AV Thakur
International Conference on Tools and Algorithms for the Construction and†…, 2009
852009
Directed proof generation for machine code
A Thakur, J Lim, A Lal, A Burton, E Driscoll, M Elder, T Andersen, T Reps
International Conference on Computer Aided Verification, 288-305, 2010
662010
A method for symbolic computation of abstract operations
A Thakur, T Reps
International Conference on Computer Aided Verification, 174-192, 2012
522012
Scaling up superoptimization
PM Phothilimthana, A Thakur, R Bodik, D Dhurjati
ACM SIGARCH Computer Architecture News 44 (2), 297-310, 2016
382016
Property-directed shape analysis
S Itzhaky, N BjÝrner, T Reps, M Sagiv, A Thakur
International Conference on Computer Aided Verification, 35-51, 2014
352014
A generalization of StŚlmarck’s method
A Thakur, T Reps
International Static Analysis Symposium, 334-351, 2012
312012
Bilateral algorithms for symbolic abstraction
A Thakur, M Elder, T Reps
International Static Analysis Symposium, 111-128, 2012
302012
There’s plenty of room at the bottom: Analyzing and verifying machine code
T Reps, J Lim, A Thakur, G Balakrishnan, A Lal
International Conference on Computer Aided Verification, 41-56, 2010
302010
Comprehensive path-sensitive data-flow analysis
A Thakur, R Govindarajan
Proceedings of the 6th annual IEEE/ACM international symposium on Code†…, 2008
232008
OpenNWA: a nested-word automaton library
E Driscoll, A Thakur, T Reps
International Conference on Computer Aided Verification, 665-671, 2012
142012
PostHat and all that: Automating abstract interpretation
A Thakur, A Lal, J Lim, T Reps
Electronic Notes in Theoretical Computer Science 311, 15-32, 2015
132015
Satisfiability modulo abstraction for separation logic with linked lists
A Thakur, J Breck, T Reps
Proceedings of the 2014 International SPIN Symposium on Model Checking of†…, 2014
122014
Cooperative crug isolation
A Thakur, R Sen, B Liblit, S Lu
Proceedings of the Seventh International Workshop on Dynamic Analysis, 35-41, 2009
122009
Greenthumb: Superoptimizer construction framework
PM Phothilimthana, A Thakur, R Bodik, D Dhurjati
Proceedings of the 25th International Conference on Compiler Construction†…, 2016
102016
PostHat and all that: Attaining most-precise inductive invariants
A Thakur, A Lal, J Lim, T Reps
TR-1790, Comp. Sci. Dept., Univ. of Wisconsin, Madison, WI, 2013
102013
Path-based function embedding and its application to specification mining
D DeFreez, AV Thakur, C Rubio-GonzŠlez
arXiv preprint arXiv:1802.07779, 2018
82018
Symbolic Abstraction: Algorithms and Applications
AV Thakur
Computer Sciences Department, University of Wisconsin, Madison, 2014
72014
Path-based function embedding and its application to error-handling specification mining
D DeFreez, AV Thakur, C Rubio-GonzŠlez
Proceedings of the 2018 26th ACM Joint Meeting on European Software†…, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20