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

Thomas Ball

Partner Researcher

Learn more

Shuvendu Lahiri

Senior Principal Researcher

Learn more

HAVOC

Publications

Publications by Year

2013

2012

2010

2009

2008

2007

2006

Publications by Research Area

Programming languages and software engineering

Security, privacy, and cryptography

Algorithms

Uncatalogued

Systems and networking

Publications by Type

Inproceedings (Conference)

Tech Report

People

Thomas Ball

Shuvendu Lahiri