Aditya V. Thakur

48 papers A* 9A 3B 7Journal 18Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Interleaving static analysis and LLM prompting with applications to error specification inference.
Int. J. Softw. Tools Technol. Transf.
Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur
2025 J jnl
Memory-efficient fixpoint computation.
Formal Methods Syst. Des.
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
2024 — conf
Interleaving Static Analysis and LLM Prompting.
SOAP@PLDI
Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur
2024 A* conf
Provable Editing of Deep Neural Networks using Parametric Linear Relaxation.
NeurIPS
Zhe Tao, Aditya V. Thakur
2024 — conf
Provable Repair of Vision Transformers.
SAIV
Stephanie Nawas, Zhe Tao, Aditya V. Thakur
2024 — conf
Towards Verifying Exact Conditions for Implementations of Density Functional Approximations.
SC Workshops
Sameerah Helal, Zhe Tao, Cindy Rubio-González, François Gygi, Aditya V. Thakur
2024 J jnl
Towards Verifying Exact Conditions of Density Functional Theory Approximations.
CoRR
Sameerah Helal, Zhe Tao, Cindy Rubio-González, François Gygi, Aditya V. Thakur
2023 J jnl
Architecture-Preserving Provable Repair of Deep Neural Networks.
CoRR
Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur
2023 J jnl
Architecture-Preserving Provable Repair of Deep Neural Networks.
Proc. ACM Program. Lang.
Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur
2023 J jnl
SyReNN: A tool for analyzing deep neural networks.
Int. J. Softw. Tools Technol. Transf.
Matthew Sotoudeh, Zhe Tao, Aditya V. Thakur
2021 A* conf
DICE*: A Formally Verified Implementation of DICE Measured Boot.
USENIX Security Symposium
Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur
2021 J jnl
Provable Repair of Deep Neural Networks.
CoRR
Matthew Sotoudeh, Aditya V. Thakur
2021 A* conf
Provable repair of deep neural networks.
PLDI
Matthew Sotoudeh, Aditya V. Thakur
2021 — conf
SyReNN: A Tool for Analyzing Deep Neural Networks.
TACAS (2)
Matthew Sotoudeh, Aditya V. Thakur
2021 J jnl
SyReNN: A Tool for Analyzing Deep Neural Networks.
CoRR
Matthew Sotoudeh, Aditya V. Thakur
2020 B conf
A Deep Deterministic Policy Gradient Based Network Scheduler For Deadline-Driven Data Transfers.
Networking
Gaurav R. Ghosal, Dipak Ghosal, Alex Sim, Aditya V. Thakur, Kesheng Wu
2020 B conf
Abstract Neural Networks.
SAS
Matthew Sotoudeh, Aditya V. Thakur
2020 J jnl
Abstract Neural Networks.
CoRR
Matthew Sotoudeh, Aditya V. Thakur
2020 J jnl
Analogy-Making as a Core Primitive in the Software Engineering Toolbox.
CoRR
Matthew Sotoudeh, Aditya V. Thakur
2020 — conf
Analogy-making as a Core primitive in the software engineering toolbox.
Onward!
Matthew Sotoudeh, Aditya V. Thakur
2020 J jnl
Deterministic parallel fixpoint computation.
Proc. ACM Program. Lang.
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
2020 B conf
Memory-Efficient Fixpoint Computation.
SAS
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
2020 J jnl
Memory-Efficient Fixpoint Computation.
CoRR
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
2019 B conf
A Reinforcement Learning Based Network Scheduler for Deadline-Driven Data Transfers.
GLOBECOM
Dipak Ghosal, Sambit Shukla, Alex Sim, Aditya V. Thakur, Kesheng Wu
2019 J jnl
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks.
CoRR
Matthew Sotoudeh, Aditya V. Thakur
2019 A* conf
Computing Linear Restrictions of Neural Networks.
NeurIPS
Matthew Sotoudeh, Aditya V. Thakur
2019 J jnl
Computing Linear Restrictions of Neural Networks.
CoRR
Matthew Sotoudeh, Aditya V. Thakur
2019 J jnl
Deterministic Parallel Fixpoint Computation.
CoRR
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
2019 — conf
Effective error-specification inference via domain-knowledge expansion.
ESEC/SIGSOFT FSE
Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur
2018 J jnl
Path-Based Function Embedding and its Application to Specification Mining.
CoRR
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
2018 — conf
Path-based function embedding and its application to error-handling specification mining.
ESEC/SIGSOFT FSE
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
2018 — conf
Path-based function embeddings.
ICSE (Companion Volume)
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
2016 B conf
Automating Abstract Interpretation.
VMCAI
Thomas W. Reps, Aditya V. Thakur
2014 J jnl
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351).
Dagstuhl Reports
Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur
2014 A* conf
Property-Directed Shape Analysis.
CAV
Shachar Itzhaky, Nikolaj S. Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur
2014 — conf
Satisfiability modulo abstraction for separation logic with linked lists.
SPIN
Aditya V. Thakur, Jason Breck, Thomas W. Reps
2013 — conf
PostHat and All That: Automating Abstract Interpretation.
TAPAS@SAS
Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps
2012 B conf
A Generalization of Stålmarck's Method.
SAS
Aditya V. Thakur, Thomas W. Reps
2012 A* conf
A Method for Symbolic Computation of Abstract Operations.
CAV
Aditya V. Thakur, Thomas W. Reps
2012 B conf
Bilateral Algorithms for Symbolic Abstraction.
SAS
Aditya V. Thakur, Matt Elder, Thomas W. Reps
2012 A* conf
OpenNWA: A Nested-Word Automaton Library.
CAV
Evan Driscoll, Aditya V. Thakur, Thomas W. Reps
2010 A* conf
Directed Proof Generation for Machine Code.
CAV
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps
2010 A conf
Instrumentation and sampling strategies for cooperative concurrency bug isolation.
OOPSLA
Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu
2010 J jnl
Proofs from Tests.
IEEE Trans. Software Eng.
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur
2010 A* conf
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.
CAV
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal
2009 — conf
Cooperative crug isolation.
WODA
Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu
2009 A conf
The YogiProject: Software Property Checking via Static Analysis and Testing.
TACAS
Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur
2008 A conf
Comprehensive path-sensitive data-flow analysis.
CGO
Aditya V. Thakur, R. Govindarajan