Follow
Aditya Thakur
Title
Cited by
Cited by
Year
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
2142010
Instrumentation and sampling strategies for cooperative concurrency bug isolation
G Jin, A Thakur, B Liblit, S Lu
Proceedings of the ACM international conference on Object oriented†…, 2010
1312010
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
1022009
Scaling up superoptimization
PM Phothilimthana, A Thakur, R Bodik, D Dhurjati
Proceedings of the Twenty-First International Conference on Architectural†…, 2016
982016
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
792010
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
71*2018
A method for symbolic computation of abstract operations
A Thakur, T Reps
International Conference on Computer Aided Verification, 174-192, 2012
632012
Property-directed shape analysis
S Itzhaky, N Bjørner, T Reps, M Sagiv, A Thakur
International Conference on Computer Aided Verification, 35-51, 2014
452014
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
402010
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
32*2015
Bilateral algorithms for symbolic abstraction
A Thakur, M Elder, T Reps
International Static Analysis Symposium, 111-128, 2012
322012
A generalization of Stålmarck’s method
A Thakur, T Reps
International Static Analysis Symposium, 334-351, 2012
302012
Comprehensive path-sensitive data-flow analysis
A Thakur, R Govindarajan
Proceedings of the 6th annual IEEE/ACM international symposium on Code†…, 2008
302008
Automating abstract interpretation
T Reps, A Thakur
International Conference on Verification, Model Checking, and Abstract†…, 2016
202016
Computing linear restrictions of neural networks
M Sotoudeh, AV Thakur
Advances in Neural Information Processing Systems 32, 2019
182019
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
182014
Cooperative crug isolation
A Thakur, R Sen, B Liblit, S Lu
Proceedings of the Seventh International Workshop on Dynamic Analysis, 35-41, 2009
172009
Opennwa: A nested-word automaton library
E Driscoll, A Thakur, T Reps
International Conference on Computer Aided Verification, 665-671, 2012
162012
Correcting deep neural networks with small, generalizing patches
M Sotoudeh, A Thakur
Workshop on safety and robustness in decision making, 2019
152019
Greenthumb: Superoptimizer construction framework
PM Phothilimthana, A Thakur, R Bodik, D Dhurjati
Proceedings of the 25th International Conference on Compiler Construction†…, 2016
142016
The system can't perform the operation now. Try again later.
Articles 1–20