Senior Principal Researcher
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025
Distinguished Artifact Award
Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
2025 International Conference on Software Engineering | April 2025
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
2025 International Conference on Software Engineering | April 2025
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu Lahiri (shuvendu)
Proceedings of the ACM on Management of Data (SIGMOD 2025) | February 2025, 第 3 卷
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
ICLR 2025 | October 2024
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
GitHub page https://github.com/microsoft/nl-2-postcond/
Formal Methods in Computer-Aided Design (FMCAD'24) | July 2024
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu Lahiri
OOPSLA 2024 | June 2024
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
2024 International Conference on Software Engineering | May 2024
Poster track
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
IEEE Transactions on Software Engineering | April 2024, 第 50 卷: pp. 2254-2268
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
ICSE'23 | May 2023
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu Lahiri, Elizabeth Dinella
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '22) | November 2022
Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
August 2022
Jialu Zhang, Mike Kaufman, Todd Mytkowicz, Ruzica Piskac, Shuvendu Lahiri
ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis | July 2022
Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
ICSE 2022 | May 2022
Software Engineering in Practice SEIP Track
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri
IEEE Transactions on Software Engineering (TSE'22) | May 2022
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
ICSE 2022 | May 2022
ICSE'22 ACM SIGSOFT Distinguished Award
Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
POPL 2022 | January 2022
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
August 2021
Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
42nd IEEE Symposium on Security and Privacy | May 2021
Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
35th IEEE/ACM International Conference on Automated Software Engineering (ASE'20) | September 2020
Jordan Henkel, Shuvendu Lahiri, Christian Bird, Thomas Reps
ICSE 2020 | July 2020
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Jordan Henkel, Christian Bird, Shuvendu Lahiri, Thomas Reps
42nd International Conference on Software Engineering (ICSE'20) | May 2020
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
Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Verified Software: Theories, Tools and Experiments | September 2019
Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer
April 2019
Jordan Henkel, Shuvendu Lahiri, Ben Liblit, Thomas Reps
Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18) | November 2018
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
International Conference on Automated Software Engineering (ASE ’18) | July 2018
Yuepeng Wang, Isil Dillig, Shuvendu Lahiri, William Cook
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
Static Analysis Symposium 2017 (SAS'17) | August 2017
| August 2017
作者：Microsoft
Alex Gyori, Shuvendu Lahiri, Nimrod Partush
The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017
August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjørner, Jacek Czerwonka
Proceedings of the 39th International Conference on Software Engineering (ICSE'17) | May 2017
Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach
European Symposium of Programming 2017 (ESOP'17) | April 2017
Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
Runtime Verification 2016 | July 2016
Runtime Verification 2016 Best Paper Award
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
| May 2015
Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
May 2015
Mike Barnett, Christian Bird, Shuvendu Lahiri, Joao Brunet
Proceedings of the 37th International Conference on Software Engineering | May 2015
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
Kenneth McMillan, Rahul Sharma, Shuvendu Lahiri
ESEC/FSE 2013 | August 2013
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
Sam Blackshear, Shuvendu Lahiri
Programming Language Design and Implementation (PLDI'13) | June 2013
Programming Language Design and Implementation (PLDI'13)
Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo
International Conference on Automated Deduction (CADE '13) | June 2013
International Conference on Automated Deduction (CADE '13)
Julien Vanegue, Shuvendu Lahiri
IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
| April 2013
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
MSR-TR-2012-103 | October 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo, Chris Hawblitzel
MSR-TR-2011-112 | October 2011
The set of benchmarks used in this paper, along with the proof (in text format).
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, Shaz Qadeer, David Walker
ACM SIGPLAN Workshop on Programming Languages meets Program Verification | January 2011
Extended Princeton Technical Report TR-884-10, September 2010
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
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.
Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-Gonzalez
MSR-TR-2010-11 | February 2010
Revised in October 2010
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)
Carlos Pacheco, Shuvendu Lahiri, Thomas Ball
MSR-TR-2008-29 | July 2008
International Symposium on Software Testing and Analysis (ISSTA '08)
Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2008-96 | July 2008
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
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
International Conference on Software Engineering (ICSE '07) | September 2007
Shuvendu Lahiri, Krishna Kumar Mehra
MSR-TR-2005-121 | September 2007
Proc. National Academy of Sciences
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2007-43 | April 2007
Shuvendu Lahiri, Thomas Ball, Byron Cook
Logical Methods in Computer Science (LMCS '07) | January 2007
Shuvendu Lahiri, Randal E. Bryant
ACM Transactions on Computational Logic (TOCL '07) | January 2007
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
MSR-TR-2006-125 | September 2006
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2006-47 | April 2006
Shuvendu Lahiri, Madanlal Musuvathi, Madan Musuvathi
Electr. Notes Theor. Comput. Sci. | January 2006, 第 144 卷: pp. 27-41
Shuvendu Lahiri, Robert Nieuwenhuis, Albert Oliveras
Conference on Computer Aided Verification (CAV '06) | January 2006
ISBN: 3-540-37406-X
Shuvendu Lahiri, Madan Musuvathi
Automated Reasoning, Third International Joint Conference (IJCAR '06) | January 2006
ISBN: 3-540-37187-7
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '06) | January 2006
ISBN: 1-59593-027-2
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2005-97 | July 2005
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-67 | May 2005
Frontiers of Combining Systems (FroCos '05)
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-61 | May 2005
Shuvendu Lahiri, Thomas Ball, Byron Cook
MSR-TR-2005-53 | April 2005
Computer Aided Verification (CAV '05)
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025
Distinguished Artifact Award
Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
2025 International Conference on Software Engineering | April 2025
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
2025 International Conference on Software Engineering | April 2025
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu Lahiri (shuvendu)
Proceedings of the ACM on Management of Data (SIGMOD 2025) | February 2025, 第 3 卷
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
ICLR 2025 | October 2024
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
GitHub page https://github.com/microsoft/nl-2-postcond/
Formal Methods in Computer-Aided Design (FMCAD'24) | July 2024
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu Lahiri
OOPSLA 2024 | June 2024
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
2024 International Conference on Software Engineering | May 2024
Poster track
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
IEEE Transactions on Software Engineering | April 2024, 第 50 卷: pp. 2254-2268
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
ICSE'23 | May 2023
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu Lahiri, Elizabeth Dinella
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '22) | November 2022
Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
August 2022
Jialu Zhang, Mike Kaufman, Todd Mytkowicz, Ruzica Piskac, Shuvendu Lahiri
ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis | July 2022
Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
ICSE 2022 | May 2022
Software Engineering in Practice SEIP Track
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
ICSE 2022 | May 2022
ICSE'22 ACM SIGSOFT Distinguished Award
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri
IEEE Transactions on Software Engineering (TSE'22) | May 2022
Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
POPL 2022 | January 2022
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
August 2021
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
42nd IEEE Symposium on Security and Privacy | May 2021
Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
35th IEEE/ACM International Conference on Automated Software Engineering (ASE'20) | September 2020
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Jordan Henkel, Shuvendu Lahiri, Christian Bird, Thomas Reps
ICSE 2020 | July 2020
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
Jordan Henkel, Christian Bird, Shuvendu Lahiri, Thomas Reps
42nd International Conference on Software Engineering (ICSE'20) | May 2020
Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Verified Software: Theories, Tools and Experiments | September 2019
Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer
April 2019
Jordan Henkel, Shuvendu Lahiri, Ben Liblit, Thomas Reps
Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18) | November 2018
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
International Conference on Automated Software Engineering (ASE ’18) | July 2018
Yuepeng Wang, Isil Dillig, Shuvendu Lahiri, William Cook
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
Static Analysis Symposium 2017 (SAS'17) | August 2017
| August 2017
作者：Microsoft
Alex Gyori, Shuvendu Lahiri, Nimrod Partush
The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017
August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjørner, Jacek Czerwonka
Proceedings of the 39th International Conference on Software Engineering (ICSE'17) | May 2017
Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach
European Symposium of Programming 2017 (ESOP'17) | April 2017
Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
Runtime Verification 2016 | July 2016
Runtime Verification 2016 Best Paper Award
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
| May 2015
Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
May 2015
Mike Barnett, Christian Bird, Shuvendu Lahiri, Joao Brunet
Proceedings of the 37th International Conference on Software Engineering | May 2015
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
Kenneth McMillan, Rahul Sharma, Shuvendu Lahiri
ESEC/FSE 2013 | 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
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)
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
| April 2013
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
MSR-TR-2012-103 | October 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 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
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.
Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-Gonzalez
MSR-TR-2010-11 | February 2010
Revised in October 2010
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)
Carlos Pacheco, Shuvendu Lahiri, Thomas Ball
MSR-TR-2008-29 | July 2008
International Symposium on Software Testing and Analysis (ISSTA '08)
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
Shuvendu Lahiri, Randal E. Bryant
ACM Transactions on Computational Logic (TOCL '07) | January 2007
Shuvendu Lahiri, Robert Nieuwenhuis, Albert Oliveras
Conference on Computer Aided Verification (CAV '06) | January 2006
ISBN: 3-540-37406-X
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu Lahiri (shuvendu)
Proceedings of the ACM on Management of Data (SIGMOD 2025) | February 2025, 第 3 卷
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025
Distinguished Artifact Award
Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
2025 International Conference on Software Engineering | April 2025
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
ICLR 2025 | October 2024
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
GitHub page https://github.com/microsoft/nl-2-postcond/
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
ICSE 2022 | May 2022
ICSE'22 ACM SIGSOFT Distinguished Award
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
August 2021
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025
Distinguished Artifact Award
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
ICLR 2025 | October 2024
Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
Runtime Verification 2016 | July 2016
Runtime Verification 2016 Best Paper Award
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL) | January 2008
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
International Conference on Software Engineering (ICSE '07) | September 2007
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2007-43 | April 2007
Shuvendu Lahiri, Thomas Ball, Byron Cook
Logical Methods in Computer Science (LMCS '07) | January 2007
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
MSR-TR-2006-125 | September 2006
Shuvendu Lahiri, Thomas Ball, Byron Cook
MSR-TR-2005-53 | April 2005
Computer Aided Verification (CAV '05)
Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
ICSE 2022 | May 2022
Software Engineering in Practice SEIP Track
Julien Vanegue, Shuvendu Lahiri
IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo, Chris Hawblitzel
MSR-TR-2011-112 | October 2011
The set of benchmarks used in this paper, along with the proof (in text format).
Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '09) | January 2009
Principles of Programming Languages (POPL '09)
Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2008-96 | July 2008
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '06) | January 2006
ISBN: 1-59593-027-2
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2005-97 | July 2005
Shuvendu Lahiri, Shaz Qadeer, David Walker
ACM SIGPLAN Workshop on Programming Languages meets Program Verification | January 2011
Extended Princeton Technical Report TR-884-10, September 2010
Shuvendu Lahiri, Shaz Qadeer
International Conference on Automated Deduction (CADE '09) | March 2009
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2006-47 | April 2006
Shuvendu Lahiri, Madanlal Musuvathi, Madan Musuvathi
Electr. Notes Theor. Comput. Sci. | January 2006, 第 144 卷: pp. 27-41
Shuvendu Lahiri, Madan Musuvathi
Automated Reasoning, Third International Joint Conference (IJCAR '06) | January 2006
ISBN: 3-540-37187-7
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-67 | May 2005
Frontiers of Combining Systems (FroCos '05)
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-61 | May 2005
Shuvendu Lahiri, Krishna Kumar Mehra
MSR-TR-2005-121 | September 2007
Proc. National Academy of Sciences
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025
Distinguished Artifact Award
Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
2025 International Conference on Software Engineering | April 2025
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
2025 International Conference on Software Engineering | April 2025
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
ICLR 2025 | October 2024
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
GitHub page https://github.com/microsoft/nl-2-postcond/
Formal Methods in Computer-Aided Design (FMCAD'24) | July 2024
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu Lahiri
OOPSLA 2024 | June 2024
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
2024 International Conference on Software Engineering | May 2024
Poster track
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
ICSE'23 | May 2023
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu Lahiri, Elizabeth Dinella
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '22) | November 2022
Jialu Zhang, Mike Kaufman, Todd Mytkowicz, Ruzica Piskac, Shuvendu Lahiri
ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis | July 2022
Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
ICSE 2022 | May 2022
Software Engineering in Practice SEIP Track
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
ICSE 2022 | May 2022
ICSE'22 ACM SIGSOFT Distinguished Award
Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
POPL 2022 | January 2022
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
42nd IEEE Symposium on Security and Privacy | May 2021
Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
35th IEEE/ACM International Conference on Automated Software Engineering (ASE'20) | September 2020
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Jordan Henkel, Shuvendu Lahiri, Christian Bird, Thomas Reps
ICSE 2020 | July 2020
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
Jordan Henkel, Christian Bird, Shuvendu Lahiri, Thomas Reps
42nd International Conference on Software Engineering (ICSE'20) | May 2020
Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Verified Software: Theories, Tools and Experiments | September 2019
Jordan Henkel, Shuvendu Lahiri, Ben Liblit, Thomas Reps
Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18) | November 2018
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
International Conference on Automated Software Engineering (ASE ’18) | July 2018
Yuepeng Wang, Isil Dillig, Shuvendu Lahiri, William Cook
Principles of Programming Languages 2018 (POPL 2018) | January 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
August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjørner, Jacek Czerwonka
Proceedings of the 39th International Conference on Software Engineering (ICSE'17) | May 2017
Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach
European Symposium of Programming 2017 (ESOP'17) | April 2017
Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
Runtime Verification 2016 | July 2016
Runtime Verification 2016 Best Paper Award
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
May 2015
Mike Barnett, Christian Bird, Shuvendu Lahiri, Joao Brunet
Proceedings of the 37th International Conference on Software Engineering | May 2015
Francesco Logozzo, Shuvendu Lahiri
Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014
Kenneth McMillan, Rahul Sharma, Shuvendu Lahiri
ESEC/FSE 2013 | 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
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)
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
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
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, Shaz Qadeer, David Walker
ACM SIGPLAN Workshop on Programming Languages meets Program Verification | January 2011
Extended Princeton Technical Report TR-884-10, September 2010
Shuvendu Lahiri, Kapil Vaswani, Tony Hoare
2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010
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
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
International Conference on Software Engineering (ICSE '07) | September 2007
Shuvendu Lahiri, Thomas Ball, Byron Cook
Logical Methods in Computer Science (LMCS '07) | January 2007
Shuvendu Lahiri, Randal E. Bryant
ACM Transactions on Computational Logic (TOCL '07) | January 2007
Shuvendu Lahiri, Robert Nieuwenhuis, Albert Oliveras
Conference on Computer Aided Verification (CAV '06) | January 2006
ISBN: 3-540-37406-X
Shuvendu Lahiri, Madan Musuvathi
Automated Reasoning, Third International Joint Conference (IJCAR '06) | January 2006
ISBN: 3-540-37187-7
Shuvendu Lahiri, Shaz Qadeer
Principles of Programming Languages (POPL '06) | January 2006
ISBN: 1-59593-027-2
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu Lahiri (shuvendu)
Proceedings of the ACM on Management of Data (SIGMOD 2025) | February 2025, 第 3 卷
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
IEEE Transactions on Software Engineering | April 2024, 第 50 卷: pp. 2254-2268
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri
IEEE Transactions on Software Engineering (TSE'22) | May 2022
Shuvendu Lahiri, Madanlal Musuvathi, Madan Musuvathi
Electr. Notes Theor. Comput. Sci. | January 2006, 第 144 卷: pp. 27-41
Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
August 2022
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
August 2021
Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer
April 2019
| August 2017
作者：Microsoft
| May 2015
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
| April 2013
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
MSR-TR-2012-103 | October 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo, Chris Hawblitzel
MSR-TR-2011-112 | October 2011
The set of benchmarks used in this paper, along with the proof (in text format).
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
Shuvendu Lahiri, Julien Vanegue
MSR-TR-2010-118 | August 2010
12th International Conference on Verification, Model Checking, and Abstract Interpretation
Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-Gonzalez
MSR-TR-2010-11 | February 2010
Revised in October 2010
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)
Jeremy Condit, Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2008-96 | July 2008
Carlos Pacheco, Shuvendu Lahiri, Thomas Ball
MSR-TR-2008-29 | July 2008
International Symposium on Software Testing and Analysis (ISSTA '08)
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
Shuvendu Lahiri, Krishna Kumar Mehra
MSR-TR-2005-121 | September 2007
Proc. National Academy of Sciences
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2007-43 | April 2007
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
MSR-TR-2006-125 | September 2006
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2006-47 | April 2006
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2005-97 | July 2005
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-67 | May 2005
Frontiers of Combining Systems (FroCos '05)
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-61 | May 2005
Shuvendu Lahiri, Thomas Ball, Byron Cook
MSR-TR-2005-53 | April 2005
Computer Aided Verification (CAV '05)
