Aditya V. Thakur

According to our database, Aditya V. Thakur authored at least 38 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Towards Verifying Exact Conditions of Density Functional Theory Approximations.

Sameerah Helal, Zhe Tao, Cindy Rubio-González, François Gygi, Aditya V. Thakur

CoRR, 2024

Interleaving Static Analysis and LLM Prompting.

Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

Provable Repair of Vision Transformers.

Stephanie Nawas, Zhe Tao, Aditya V. Thakur

Proceedings of the AI Verification - First International Symposium, 2024

2023

SyReNN: A tool for analyzing deep neural networks.

Matthew Sotoudeh, Zhe Tao, Aditya V. Thakur

Int. J. Softw. Tools Technol. Transf., April, 2023

Architecture-Preserving Provable Repair of Deep Neural Networks.

Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur

Proc. ACM Program. Lang., 2023

2021

DICE*: A Formally Verified Implementation of DICE Measured Boot.

Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur

Proceedings of the 30th USENIX Security Symposium, 2021

SyReNN: A Tool for Analyzing Deep Neural Networks.

Matthew Sotoudeh, Aditya V. Thakur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Provable repair of deep neural networks.

Matthew Sotoudeh, Aditya V. Thakur

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Deterministic parallel fixpoint computation.

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

Proc. ACM Program. Lang., 2020

Abstract Neural Networks.

Matthew Sotoudeh, Aditya V. Thakur

Proceedings of the Static Analysis - 27th International Symposium, 2020

Memory-Efficient Fixpoint Computation.

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

Proceedings of the Static Analysis - 27th International Symposium, 2020

Analogy-making as a Core primitive in the software engineering toolbox.

Matthew Sotoudeh, Aditya V. Thakur

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

A Deep Deterministic Policy Gradient Based Network Scheduler For Deadline-Driven Data Transfers.

Gaurav R. Ghosal, Dipak Ghosal, Alex Sim, Aditya V. Thakur, Kesheng Wu

Proceedings of the 2020 IFIP Networking Conference, 2020

2019

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks.

Matthew Sotoudeh, Aditya V. Thakur

CoRR, 2019

Effective error-specification inference via domain-knowledge expansion.

Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Computing Linear Restrictions of Neural Networks.

Matthew Sotoudeh, Aditya V. Thakur

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

A Reinforcement Learning Based Network Scheduler for Deadline-Driven Data Transfers.

Dipak Ghosal, Sambit Shukla, Alex Sim, Aditya V. Thakur, Kesheng Wu

Proceedings of the 2019 IEEE Global Communications Conference, 2019

2018

Path-Based Function Embedding and its Application to Specification Mining.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

CoRR, 2018

Path-based function embedding and its application to error-handling specification mining.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Path-based function embeddings.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2016

Automating Abstract Interpretation.

Thomas W. Reps, Aditya V. Thakur

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

GreenThumb: superoptimizer construction framework.

Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati

Proceedings of the 25th International Conference on Compiler Construction, 2016

Scaling up Superoptimization.

Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2014

Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351).

Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur

Dagstuhl Reports, 2014

Satisfiability modulo abstraction for separation logic with linked lists.

Aditya V. Thakur, Jason Breck, Thomas W. Reps

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Property-Directed Shape Analysis.

Shachar Itzhaky, Nikolaj S. Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

PostHat and All That: Automating Abstract Interpretation.

Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps

Proceedings of the Fourth Workshop on Tools for Automatic Program Analysis, 2013

2012

A Generalization of Stålmarck's Method.

Aditya V. Thakur, Thomas W. Reps

Proceedings of the Static Analysis - 19th International Symposium, 2012

Bilateral Algorithms for Symbolic Abstraction.

Aditya V. Thakur, Matt Elder, Thomas W. Reps

Proceedings of the Static Analysis - 19th International Symposium, 2012

A Method for Symbolic Computation of Abstract Operations.

Aditya V. Thakur, Thomas W. Reps

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

OpenNWA: A Nested-Word Automaton Library.

Evan Driscoll, Aditya V. Thakur, Thomas W. Reps

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Proofs from Tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur

IEEE Trans. Software Eng., 2010

Instrumentation and sampling strategies for cooperative concurrency bug isolation.

Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Directed Proof Generation for Machine Code.

Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.

Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

The YogiProject: Software Property Checking via Static Analysis and Testing.

Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Cooperative crug isolation.

Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), 2009

2008

Comprehensive path-sensitive data-flow analysis.

Aditya V. Thakur, R. Govindarajan

Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008