Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang
The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
Chungha Sung , Shuvendu Lahiri, Constantin Enea , Chao Wang
International Conference on Automated Software Engineering (ASE ’18) | September 2018
Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
Static Analysis Symposium 2017 (SAS'17) | August 2017
Alex Gyori, Shuvendu Lahiri, Nimrod Partush
The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017
Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach
European Symposium of Programming 2017 (ESOP'17) | April 2017
NASA Formal Methods Symposium (NFM '16) | June 2016
NASA Formal Methods Symposium (NFM '16)
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
May 2015
Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014
Francesco Logozzo, Shuvendu Lahiri
Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
Foundations of Software Engineering (FSE'13) | August 2013
Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
Foundations of Software Engineering (FSE'13) | August 2013
Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo
International Conference on Automated Deduction (CADE '13) | June 2013
International Conference on Automated Deduction (CADE '13)
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2011-78 | August 2011
Informal proceedings of BOOGIE 2011 workshop
Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-González
Static Analysis Symposium (SAS '11) | August 2011
Shuvendu Lahiri, Kapil Vaswani, Tony Hoare
2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2010-119 | October 2010
Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang
The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
Chungha Sung , Shuvendu Lahiri, Constantin Enea , Chao Wang
International Conference on Automated Software Engineering (ASE ’18) | September 2018
Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
Static Analysis Symposium 2017 (SAS'17) | August 2017
Alex Gyori, Shuvendu Lahiri, Nimrod Partush
The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017
Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach
European Symposium of Programming 2017 (ESOP'17) | April 2017
NASA Formal Methods Symposium (NFM '16) | June 2016
NASA Formal Methods Symposium (NFM '16)
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
May 2015
Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014
Francesco Logozzo, Shuvendu Lahiri
Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
Foundations of Software Engineering (FSE'13) | August 2013
Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
Foundations of Software Engineering (FSE'13) | August 2013
Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo
International Conference on Automated Deduction (CADE '13) | June 2013
International Conference on Automated Deduction (CADE '13)
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-González
Static Analysis Symposium (SAS '11) | August 2011
Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2011-78 | August 2011
Informal proceedings of BOOGIE 2011 workshop
Shuvendu Lahiri, Kapil Vaswani, Tony Hoare
2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2010-119 | October 2010
Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014
Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang
The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
Chungha Sung , Shuvendu Lahiri, Constantin Enea , Chao Wang
International Conference on Automated Software Engineering (ASE ’18) | September 2018
Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
Static Analysis Symposium 2017 (SAS'17) | August 2017
Alex Gyori, Shuvendu Lahiri, Nimrod Partush
The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017
Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach
European Symposium of Programming 2017 (ESOP'17) | April 2017
NASA Formal Methods Symposium (NFM '16) | June 2016
NASA Formal Methods Symposium (NFM '16)
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
May 2015
Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014
Francesco Logozzo, Shuvendu Lahiri
Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014
Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
Foundations of Software Engineering (FSE'13) | August 2013
Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
Foundations of Software Engineering (FSE'13) | August 2013
Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo
International Conference on Automated Deduction (CADE '13) | June 2013
International Conference on Automated Deduction (CADE '13)
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-González
Static Analysis Symposium (SAS '11) | August 2011
Shuvendu Lahiri, Kapil Vaswani, Tony Hoare
2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2011-78 | August 2011
Informal proceedings of BOOGIE 2011 workshop
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2010-119 | October 2010
Senior Principal Researcher
Senior Principal Researcher
