HAVOC

Established: November 25, 2008

Publications

View by:

- Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
  
  Sam Blackshear, Shuvendu Lahiri
  
  Programming Language Design and Implementation (PLDI'13) | June 2013
  
  Programming Language Design and Implementation (PLDI'13)
  
  Publication Project
- Towards practical reactive security audit using extended static checkers
  
  Julien Vanegue, Shuvendu Lahiri
  
  IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
  
  Publication
- Security audit using extended static checking: Is it cost-effective yet?
  
  Shuvendu Lahiri
  
  MSR-TR-2012-103 | October 2012
  
  Publication
- ExplainHoudini: Making Houdini inference transparent
  
  Shuvendu Lahiri, Julien Vanegue
  
  MSR-TR-2010-118 | August 2010
  
  12th International Conference on Verification, Model Checking, and Abstract Interpretation
  
  Publication
- Towards Scalable Modular Checking of User-Defined Properties
  
  Thomas Ball, Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Julien Vanegue
  
  Verified Software: Theories, Tools and Experiments (VSTTE 2010) | August 2010
  
  An earlier version of this paper appeared as a Microsoft Research Technical Report MSR-TR-2008-82.
  
  Publication
- Call invariants
  
  Shuvendu Lahiri, Shaz Qadeer
  
  MSR-TR-2009-13 | July 2009
  
  Publication
- Complexity and algorithms for monomial and clausal predicate abstraction
  
  Shuvendu Lahiri, Shaz Qadeer
  
  International Conference on Automated Deduction (CADE '09) | March 2009
  
  Publication
- Intra-Module Inference
  
  Shuvendu Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
  
  MSR-TR-2009-12 | February 2009
  
  Computer Aided Verification (CAV '09)
  
  Publication
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  Computer Aided Verification (CAV '09) | February 2009
  
  Publication Project Project
- Unifying Type Checking and Property Checking for Low-Level Code
  
  Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL '09) | January 2009
  
  Principles of Programming Languages (POPL '09)
  
  Publication
- Towards Scalable Modular Checking of User-Defined Properties
  
  Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
  
  MSR-TR-2008-82 | May 2008
  
  Publication
- Back to the Future: Revisiting Precise Program Verification using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL) | January 2008
  
  Publication
- A Decision Procedure for Well-Founded Reachability
  
  Shuvendu Lahiri, Shaz Qadeer
  
  MSR-TR-2007-43 | April 2007
  
  Publication
- A Reachability Predicate for Analyzing Low-Level Software
  
  Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  MSR-TR-2006-154 | April 2007
  
  Publication
- Verifying properties of well-founded linked lists
  
  Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL '06) | January 2006
  
  ISBN: 1-59593-027-2
  
  Publication

- Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
  
  Sam Blackshear, Shuvendu Lahiri
  
  Programming Language Design and Implementation (PLDI'13) | June 2013
  
  Programming Language Design and Implementation (PLDI'13)
  
  Publication Project
- Towards practical reactive security audit using extended static checkers
  
  Julien Vanegue, Shuvendu Lahiri
  
  IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
  
  Publication
- Security audit using extended static checking: Is it cost-effective yet?
  
  Shuvendu Lahiri
  
  MSR-TR-2012-103 | October 2012
  
  Publication
- Towards Scalable Modular Checking of User-Defined Properties
  
  Thomas Ball, Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Julien Vanegue
  
  Verified Software: Theories, Tools and Experiments (VSTTE 2010) | August 2010
  
  An earlier version of this paper appeared as a Microsoft Research Technical Report MSR-TR-2008-82.
  
  Publication
- ExplainHoudini: Making Houdini inference transparent
  
  Shuvendu Lahiri, Julien Vanegue
  
  MSR-TR-2010-118 | August 2010
  
  12th International Conference on Verification, Model Checking, and Abstract Interpretation
  
  Publication
- Call invariants
  
  Shuvendu Lahiri, Shaz Qadeer
  
  MSR-TR-2009-13 | July 2009
  
  Publication
- Complexity and algorithms for monomial and clausal predicate abstraction
  
  Shuvendu Lahiri, Shaz Qadeer
  
  International Conference on Automated Deduction (CADE '09) | March 2009
  
  Publication
- Intra-Module Inference
  
  Shuvendu Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
  
  MSR-TR-2009-12 | February 2009
  
  Computer Aided Verification (CAV '09)
  
  Publication
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  Computer Aided Verification (CAV '09) | February 2009
  
  Publication Project Project
- Towards Scalable Modular Checking of User-Defined Properties
  
  Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
  
  MSR-TR-2008-82 | May 2008
  
  Publication
- A Reachability Predicate for Analyzing Low-Level Software
  
  Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  MSR-TR-2006-154 | April 2007
  
  Publication
- Towards practical reactive security audit using extended static checkers
  
  Julien Vanegue, Shuvendu Lahiri
  
  IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
  
  Publication
- Complexity and algorithms for monomial and clausal predicate abstraction
  
  Shuvendu Lahiri, Shaz Qadeer
  
  International Conference on Automated Deduction (CADE '09) | March 2009
  
  Publication
- Unifying Type Checking and Property Checking for Low-Level Code
  
  Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL '09) | January 2009
  
  Principles of Programming Languages (POPL '09)
  
  Publication
- Verifying properties of well-founded linked lists
  
  Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL '06) | January 2006
  
  ISBN: 1-59593-027-2
  
  Publication
- Back to the Future: Revisiting Precise Program Verification using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL) | January 2008
  
  Publication
- A Decision Procedure for Well-Founded Reachability
  
  Shuvendu Lahiri, Shaz Qadeer
  
  MSR-TR-2007-43 | April 2007
  
  Publication

- Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
  
  Sam Blackshear, Shuvendu Lahiri
  
  Programming Language Design and Implementation (PLDI'13) | June 2013
  
  Programming Language Design and Implementation (PLDI'13)
  
  Publication Project
- Towards practical reactive security audit using extended static checkers
  
  Julien Vanegue, Shuvendu Lahiri
  
  IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
  
  Publication
- Towards Scalable Modular Checking of User-Defined Properties
  
  Thomas Ball, Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Julien Vanegue
  
  Verified Software: Theories, Tools and Experiments (VSTTE 2010) | August 2010
  
  An earlier version of this paper appeared as a Microsoft Research Technical Report MSR-TR-2008-82.
  
  Publication
- Complexity and algorithms for monomial and clausal predicate abstraction
  
  Shuvendu Lahiri, Shaz Qadeer
  
  International Conference on Automated Deduction (CADE '09) | March 2009
  
  Publication
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  Computer Aided Verification (CAV '09) | February 2009
  
  Publication Project Project
- Unifying Type Checking and Property Checking for Low-Level Code
  
  Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL '09) | January 2009
  
  Principles of Programming Languages (POPL '09)
  
  Publication
- Back to the Future: Revisiting Precise Program Verification using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL) | January 2008
  
  Publication
- Verifying properties of well-founded linked lists
  
  Shuvendu Lahiri, Shaz Qadeer
  
  Principles of Programming Languages (POPL '06) | January 2006
  
  ISBN: 1-59593-027-2
  
  Publication
- Security audit using extended static checking: Is it cost-effective yet?
  
  Shuvendu Lahiri
  
  MSR-TR-2012-103 | October 2012
  
  Publication
- ExplainHoudini: Making Houdini inference transparent
  
  Shuvendu Lahiri, Julien Vanegue
  
  MSR-TR-2010-118 | August 2010
  
  12th International Conference on Verification, Model Checking, and Abstract Interpretation
  
  Publication
- Call invariants
  
  Shuvendu Lahiri, Shaz Qadeer
  
  MSR-TR-2009-13 | July 2009
  
  Publication
- Intra-Module Inference
  
  Shuvendu Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
  
  MSR-TR-2009-12 | February 2009
  
  Computer Aided Verification (CAV '09)
  
  Publication
- Towards Scalable Modular Checking of User-Defined Properties
  
  Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
  
  MSR-TR-2008-82 | May 2008
  
  Publication
- A Reachability Predicate for Analyzing Low-Level Software
  
  Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  MSR-TR-2006-154 | April 2007
  
  Publication
- A Decision Procedure for Well-Founded Reachability
  
  Shuvendu Lahiri, Shaz Qadeer
  
  MSR-TR-2007-43 | April 2007
  
  Publication

People

Shuvendu Lahiri

Senior Principal Researcher

Learn more