Aditya V. Thakur

Publications

Google Scholar / DBLP

  1. Provable Editing of Deep Neural Networks using Parametric Linear Relaxation
    Advances in Neural Information Processing Systems : Annual Conference on Neural Information Processing Systems (NeurIPS), 2024
    PDF     Details
  2. Towards Verifying Exact Conditions of Density Functional Theory Approximations
    Eighth International Workshop on Software Correctness for HPC Applications (Correctness 2024), 2024
    PDF     Details
  3. 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
  4. Provable Repair of Vision Transformers
    International Symposium on AI Verification (SAIV), 2024
    PDF     Springer, Cham©     Details
  5. Architecture-Preserving Provable Repair of Deep Neural Networks
    Proc. ACM Program. Lang. (PLDI) , 2023
    PDF     ACM©     Details
  6. SyReNN: A Tool for Analyzing Deep Neural Networks
    International Journal on Software Tools for Technology Transfer (STTT), 2023
    PDF     Springer©     Details
  7. Provable Repair of Deep Neural Networks
    42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), 2021
    PDF     ACM©     Details
  8. DICE*: A Formally Verified Implementation of DICE Measured Boot
    30th USENIX Security Symposium (USENIX Security ’21 Fall), 2021
    PDF     Details
  9. 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
  10. 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
  11. Memory-efficient Fixpoint Computation
    27th Static Analysis Symposium (SAS), 2020
    Awarded the Radhia Cousot Young Researcher Best Paper Award
    PDF     Springer©     Details
  12. Abstract Neural Networks
    27th Static Analysis Symposium (SAS), 2020
    PDF     Springer©     Details
  13. A Deep Deterministic Policy Gradient Based Network Scheduler For Deadline-Driven Data Transfer
    2020 IFIP Networking Conference, 2020
    PDF     Details
  14. Deterministic Parallel Fixpoint Computation
    Proc. ACM Program. Lang. (POPL) , 2020
    PDF     ACM©     Details
  15. Correcting Deep Neural Networks with Small, Generalizing Patches
    NeurIPS 2019 Workshop on Safety and Robustness in Decision Making, 2019
    PDF     Details
  16. Computing Linear Restrictions of Neural Networks
    Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems (NeurIPS), 2019
    PDF     Details
  17. A Reinforcement Learning Based Network Scheduler For Deadline-Driven Data Transfers
    IEEE Global Communications Conference (GLOBECOM), 2019
    PDF     Details
  18. An SMT Approach To A Multiparty Economic Scheduling Problem
    17th International Workshop on Satisfiability Modulo Theories (SMT’19), 2019
    PDF     Details
  19. 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
  20. 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
  21. Path-Based Function Embeddings
    Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, 2018
    PDF     ACM©     Details
  22. Scaling up Superoptimization
    Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2016
    PDF     ACM©     Details
  23. GreenThumb: superoptimizer construction framework
    Proceedings of the 25th International Conference on Compiler Construction (CC), 2016
    PDF     ACM©     Details
  24. Automating Abstract Interpretation
    17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2016
    Invited paper
    PDF     Springer©     Details
  25. 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
  26. Satisfiability modulo abstraction for separation logic with linked lists
    2014 International Symposium on Model Checking of Software (SPIN), 2014
    PDF     ACM©     Details
  27. Property-Directed Shape Analysis
    26th International Conference on Computer Aided Verification (CAV), 2014
    PDF     Springer©     Details
  28. Through the Lens of Abstraction
    High Confidence Software and Systems Conference (HCSS), 2014
    PDF     Details
  29. A Generalization of Stålmarck’s Method
    19th International Symposium on Static Analysis (SAS), 2012
    PDF     Springer©     Details
  30. Bilateral Algorithms for Symbolic Abstraction
    19th International Symposium on Static Analysis (SAS), 2012
    PDF     Springer©     Details
  31. OpenNWA: A Nested-Word Automaton Library
    24th International Conference on Computer Aided Verification (CAV), 2012
    PDF     Springer©     Details
  32. A Method for Symbolic Computation of Abstract Operations
    24th International Conference on Computer Aided Verification (CAV), 2012
    PDF     Springer©     Details
  33. 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
  34. 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
  35. Directed Proof Generation for Machine Code
    22nd International Conference on Computer Aided Verification (CAV), 2010
    PDF     Springer©     Details
  36. Proofs from Tests
    IEEE Transactions on Software Engineering (TSE) (4) , 2010
    PDF     IEEE©     Details
  37. 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
  38. Cooperative crug isolation
    Seventh International Workshop on Dynamic Analysis (WODA), 2009
    PDF     ACM©     Details
  39. Comprehensive path-sensitive data-flow analysis
    Sixth International Symposium on Code Generation and Optimization (CGO), 2008
    PDF     ACM©     Details


Theses

  1. Thakur, A. V. (2014, August). Symbolic Abstraction: Algorithms and Applications (Ph.D. dissertation). Computer Sciences Department, University of Wisconsin, Madison.
    PDF     Details
  2. Thakur, A. V. (2008, August). Comprehensive Path-sensitive Data-flow Analysis (M.Sc.(Engg.) thesis). Indian Institute of Science, Bangalore.
    PDF     Details