Aditya V. Thakur

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 27

Top Topics

Top Venues

ESEC/SIGSOFT FSE

Proc. ACM Program. Lang.

Publications

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