Follow
Aditya V. Thakur
Aditya V. Thakur
Department of Computer Science, University of California, Davis
Verified email at ucdavis.edu - Homepage
Title
Cited by
Cited by
Year
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons
Proceedings of the 2008 international symposium on Software testing and …, 2008
2232008
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
1432010
Scaling up superoptimization
PM Phothilimthana, A Thakur, R Bodik, D Dhurjati
Proceedings of the Twenty-First International Conference on Architectural …, 2016
1342016
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
115*2018
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
1072009
Provable repair of deep neural networks
M Sotoudeh, AV Thakur
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
822021
Directed proof generation for machine code
A Thakur, J Lim, A Lal, A Burton, E Driscoll, M Elder, T Andersen, T Reps
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
802010
A method for symbolic computation of abstract operations
A Thakur, T Reps
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
652012
Property-directed shape analysis
S Itzhaky, N Bjørner, T Reps, M Sagiv, A Thakur
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
602014
There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code: (Invited Tutorial)
T Reps, J Lim, A Thakur, G Balakrishnan, A Lal
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
392010
Correcting deep neural networks with small, generalizing patches
M Sotoudeh, A Thakur
Workshop on safety and robustness in decision making, 2019
382019
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
38*2015
Bilateral algorithms for symbolic abstraction
A Thakur, M Elder, T Reps
International Static Analysis Symposium, 111-128, 2012
372012
Computing linear restrictions of neural networks
M Sotoudeh, AV Thakur
Advances in Neural Information Processing Systems 32, 2019
312019
Automating abstract interpretation
T Reps, A Thakur
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
312016
Comprehensive path-sensitive data-flow analysis
A Thakur, R Govindarajan
Proceedings of the 6th annual IEEE/ACM international symposium on Code …, 2008
312008
Abstract neural networks
M Sotoudeh, AV Thakur
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event …, 2020
282020
A generalization of Stålmarck’s method
A Thakur, T Reps
International Static Analysis Symposium, 334-351, 2012
272012
{DICE*}: A Formally Verified Implementation of {DICE} Measured Boot
Z Tao, A Rastogi, N Gupta, K Vaswani, AV Thakur
30th USENIX Security Symposium (USENIX Security 21), 1091-1107, 2021
252021
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
212014
The system can't perform the operation now. Try again later.
Articles 1–20