Pic

I am looking for highly-motivated Ph.D. students to work on challenging research problems in the areas of programming languages, automated reasoning, program analysis, security, and software engineering; if interested, please send me an email with a description of your research interests and your CV.

Teaching

Fall 2017 Topics in Automated Reasoning and Program Analysis

Publications

Refereed Publications

Google Scholar / DBLP

  1. Scaling up Superoptimization
    Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2016
    PDF     ACM©     Details
  2. GreenThumb: superoptimizer construction framework
    Proceedings of the 25th International Conference on Compiler Construction (CC), 2016
    PDF     ACM©     Details
  3. Automating Abstract Interpretation
    17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2016
    Invited paper
    PDF     Springer©     Details
  4. Satisfiability modulo abstraction for separation logic with linked lists
    2014 International Symposium on Model Checking of Software (SPIN), 2014
    PDF     ACM©     Details
  5. Property-Directed Shape Analysis
    26th International Conference on Computer Aided Verification (CAV), 2014
    PDF     Springer©     Details
  6. Through the Lens of Abstraction
    High Confidence Software and Systems Conference (HCSS), 2014
    PDF     Details
  7. PostHat and all that: Automating abstract interpretation
    Fourth Workshop on Tools for Automatic Program Analysis (TAPAS), 2013
    PDF     Details
  8. A Generalization of Stålmarck’s Method
    19th International Symposium on Static Analysis (SAS), 2012
    PDF     Springer©     Details
  9. Bilateral Algorithms for Symbolic Abstraction
    19th International Symposium on Static Analysis (SAS), 2012
    PDF     Springer©     Details
  10. OpenNWA: A Nested-Word Automaton Library
    24th International Conference on Computer Aided Verification (CAV), 2012
    PDF     Springer©     Details
  11. A Method for Symbolic Computation of Abstract Operations
    24th International Conference on Computer Aided Verification (CAV), 2012
    PDF     Springer©     Details
  12. 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
  13. 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
  14. Directed Proof Generation for Machine Code
    22nd International Conference on Computer Aided Verification (CAV), 2010
    PDF     Springer©     Details
  15. Proofs from Tests
    IEEE Transactions on Software Engineering (TSE), 2010
    PDF     IEEE©     Details
  16. 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
  17. Cooperative crug isolation
    Proceedings of the International Workshop on Dynamic Analysis (WODA), 2009
    PDF     ACM©     Details
  18. 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