Sam Blackshear, Shuvendu Lahiri
Programming Language Design and Implementation (PLDI'13) | June 2013
Programming Language Design and Implementation (PLDI'13)
Julien Vanegue, Shuvendu Lahiri
IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
MSR-TR-2012-103 | October 2012
Shuvendu Lahiri, Julien Vanegue
MSR-TR-2010-118 | August 2010
12th International Conference on Verification, Model Checking, and Abstract Interpretation
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.
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2009-13 | July 2009
Shuvendu Lahiri, Shaz Qadeer
International Conference on Automated Deduction (CADE '09) | March 2009
Shuvendu Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
MSR-TR-2009-12 | February 2009
Computer Aided Verification (CAV '09)
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '09) | January 2009
Principles of Programming Languages (POPL '09)
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL) | January 2008
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2007-43 | April 2007
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
MSR-TR-2006-154 | April 2007
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '06) | January 2006
ISBN: 1-59593-027-2
Sam Blackshear, Shuvendu Lahiri
Programming Language Design and Implementation (PLDI'13) | June 2013
Programming Language Design and Implementation (PLDI'13)
Julien Vanegue, Shuvendu Lahiri
IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
MSR-TR-2012-103 | October 2012
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.
Shuvendu Lahiri, Julien Vanegue
MSR-TR-2010-118 | August 2010
12th International Conference on Verification, Model Checking, and Abstract Interpretation
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2009-13 | July 2009
Shuvendu Lahiri, Shaz Qadeer
International Conference on Automated Deduction (CADE '09) | March 2009
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
Shuvendu Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
MSR-TR-2009-12 | February 2009
Computer Aided Verification (CAV '09)
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
MSR-TR-2006-154 | April 2007
Julien Vanegue, Shuvendu Lahiri
IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
Shuvendu Lahiri, Shaz Qadeer
International Conference on Automated Deduction (CADE '09) | March 2009
Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '09) | January 2009
Principles of Programming Languages (POPL '09)
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '06) | January 2006
ISBN: 1-59593-027-2
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL) | January 2008
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2007-43 | April 2007
Sam Blackshear, Shuvendu Lahiri
Programming Language Design and Implementation (PLDI'13) | June 2013
Programming Language Design and Implementation (PLDI'13)
Julien Vanegue, Shuvendu Lahiri
IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
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.
Shuvendu Lahiri, Shaz Qadeer
International Conference on Automated Deduction (CADE '09) | March 2009
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '09) | January 2009
Principles of Programming Languages (POPL '09)
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL) | January 2008
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '06) | January 2006
ISBN: 1-59593-027-2
MSR-TR-2012-103 | October 2012
Shuvendu Lahiri, Julien Vanegue
MSR-TR-2010-118 | August 2010
12th International Conference on Verification, Model Checking, and Abstract Interpretation
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2009-13 | July 2009
Shuvendu Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
MSR-TR-2009-12 | February 2009
Computer Aided Verification (CAV '09)
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
MSR-TR-2006-154 | April 2007
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2007-43 | April 2007
Partner Researcher
Senior Principal Researcher
