Publications
Google Scholar /
DBLP
-
Interleaving Static Analysis and LLM Prompting
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,
2024
PDF
ACM©
Details
-
Provable Repair of Vision Transformers
The 7th International Symposium on AI Verification (SAIV),
2024
PDF
Details
-
Architecture-Preserving Provable Repair of Deep Neural Networks
Proc. ACM Program. Lang. (PLDI) ,
2023
PDF
ACM©
Details
-
SyReNN: A Tool for Analyzing Deep Neural Networks
International Journal on Software Tools for Technology Transfer (STTT),
2023
PDF
Springer©
Details
-
Provable Repair of Deep Neural Networks
42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI),
2021
PDF
ACM©
Details
-
DICE*: A Formally Verified Implementation of DICE Measured Boot
30th USENIX Security Symposium (USENIX Security ’21 Fall),
2021
PDF
Details
-
SyReNN: A Tool for Analyzing Deep Neural Networks
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS,
2021
PDF
Springer©
Details
-
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
2020 ACM SIGPLAN International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward!,
2020
PDF
ACM©
Details
-
Memory-efficient Fixpoint Computation
27th Static Analysis Symposium (SAS),
2020
Awarded the Radhia Cousot Young Researcher Best Paper Award
PDF
Springer©
Details
-
Abstract Neural Networks
27th Static Analysis Symposium (SAS),
2020
PDF
Springer©
Details
-
A Deep Deterministic Policy Gradient Based Network Scheduler For Deadline-Driven Data Transfer
2020 IFIP Networking Conference,
2020
PDF
Details
-
Deterministic Parallel Fixpoint Computation
Proc. ACM Program. Lang. (POPL) ,
2020
PDF
ACM©
Details
-
Correcting Deep Neural Networks with Small, Generalizing Patches
NeurIPS 2019 Workshop on Safety and Robustness in Decision Making,
2019
PDF
Details
-
Computing Linear Restrictions of Neural Networks
Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems (NeurIPS),
2019
PDF
Details
-
A Reinforcement Learning Based Network Scheduler For Deadline-Driven Data Transfers
IEEE Global Communications Conference (GLOBECOM),
2019
PDF
Details
-
An SMT Approach To A Multiparty Economic Scheduling Problem
17th International Workshop on Satisfiability Modulo Theories (SMT’19),
2019
PDF
Details
-
Effective Error-Specification Inference via Domain-Knowledge Expansion
Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’19) ,
2019
PDF
ACM©
Details
-
Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’18) ,
2018
PDF
ACM©
Details
-
Path-Based Function Embeddings
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018,
2018
PDF
ACM©
Details
-
Scaling up Superoptimization
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS),
2016
PDF
ACM©
Details
-
GreenThumb: superoptimizer construction framework
Proceedings of the 25th International Conference on Compiler Construction (CC),
2016
PDF
ACM©
Details
-
Automating Abstract Interpretation
17th International
Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
2016
Invited paper
PDF
Springer©
Details
-
PostHat and All That: Automating Abstract Interpretation
Electronic Notes in Theoretical Computer Science ,
2015
Fourth Workshop on Tools for Automatic Program Analysis (TAPAS 2013)
PDF
Elsevier©
Details
-
Satisfiability modulo abstraction for separation logic with linked
lists
2014 International Symposium on Model Checking of Software (SPIN),
2014
PDF
ACM©
Details
-
Property-Directed Shape Analysis
26th International Conference on Computer Aided Verification (CAV),
2014
PDF
Springer©
Details
-
Through the Lens of Abstraction
High Confidence Software and Systems Conference (HCSS),
2014
PDF
Details
-
A Generalization of Stålmarck’s Method
19th International Symposium on Static Analysis (SAS),
2012
PDF
Springer©
Details
-
Bilateral Algorithms for Symbolic Abstraction
19th International Symposium on Static Analysis (SAS),
2012
PDF
Springer©
Details
-
OpenNWA: A Nested-Word Automaton Library
24th International Conference on Computer Aided Verification (CAV),
2012
PDF
Springer©
Details
-
A Method for Symbolic Computation of Abstract Operations
24th International Conference on Computer Aided Verification (CAV),
2012
PDF
Springer©
Details
-
Instrumentation and sampling strategies for cooperative concurrency
bug isolation
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented
Programming, Systems, Languages, and Applications (OOPSLA),
2010
PDF
ACM©
Details
-
There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine
Code
22nd International Conference on Computer Aided Verification (CAV),
2010
Invited paper
PDF
Springer©
Details
-
Directed Proof Generation for Machine Code
22nd International Conference on Computer Aided Verification (CAV),
2010
PDF
Springer©
Details
-
Proofs from Tests
IEEE Transactions on Software Engineering (TSE) (4) ,
2010
PDF
IEEE©
Details
-
The Yogi Project: Software Property Checking via Static
Analysis and Testing
15th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS),
2009
PDF
Springer©
Details
-
Cooperative crug isolation
Seventh International Workshop on Dynamic Analysis (WODA),
2009
PDF
ACM©
Details
-
Comprehensive path-sensitive data-flow analysis
Sixth International Symposium on Code Generation and
Optimization (CGO),
2008
PDF
ACM©
Details
Theses
-
Thakur, A. V. (2014, August). Symbolic Abstraction: Algorithms and Applications (Ph.D. dissertation). Computer Sciences Department, University of Wisconsin, Madison.
PDF
Details
-
Thakur, A. V. (2008, August). Comprehensive Path-sensitive Data-flow Analysis (M.Sc.(Engg.) thesis). Indian Institute of Science, Bangalore.
PDF
Details