Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
2025 International Conference on Software Engineering | April 2025
Dataset (V1) - https://huggingface.co/datasets/microsoft/FStarDataSet | (V2) - https://huggingface.co/datasets/microsoft/FStarDataSet-V2
Preprint
Project
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
Publication
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/
Publication
Preprint
Project
Shuvendu Lahiri
Formal Methods in Computer-Aided Design (FMCAD'24) | July 2024
Preprint
Project
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
2024 International Conference on Software Engineering | May 2024
Poster track
Publication
Project
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
Preprint
Github
Project
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Publication
Publication
PDF
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Publication
Project
Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
ICSE'23 | May 2023
Preprint
Github
Project
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Publication
Publication
Project
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
Publication
Project
Project
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
Publication
Project
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri
IEEE Transactions on Software Engineering (TSE'22) |
July 2022
Publication
Project
Project
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
Publication
Project
Project
Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
ICSE 2022 | May 2022
Software Engineering in Practice SEIP Track
Publication
Video
Project
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
ICSE 2022 | May 2022
ICSE'22 ACM SIGSOFT Distinguished Award
Publication
Publication
Video
Project
Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
POPL 2022 | January 2022
Publication
Project
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
August 2021
Publication
Project
Project
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
42nd IEEE Symposium on Security and Privacy | May 2021
Publication
Project
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
Publication
Project
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri
May 2021
Publication
Project
Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
35th IEEE/ACM International Conference on Automated Software Engineering (ASE'20) | September 2020
Publication
Project
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Publication
Video
Project
Project
Jordan Henkel, Shuvendu Lahiri, Christian Bird, Thomas Reps
ICSE 2020 | July 2020
Publication
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
Publication
Project
Project
Jordan Henkel, Christian Bird, Shuvendu Lahiri, Thomas Reps
42nd International Conference on Software Engineering (ICSE'20) | May 2020
Publication
Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Verified Software: Theories, Tools and Experiments | September 2019
Publication
Project
Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer
April 2019
PDF
Publication
Project
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
Publication
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
Publication
Project
Project
Chungha Sung , Shuvendu Lahiri, Constantin Enea , Chao Wang
International Conference on Automated Software Engineering (ASE ’18) | September 2018
Publication
Publication
Publication
Project
Yuepeng Wang, Isil Dillig, Shuvendu Lahiri, William Cook
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Publication
Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
Static Analysis Symposium 2017 (SAS'17) | August 2017
Publication
Project
Shuvendu Lahiri, Akash Lal
| August 2017
Published by Microsoft
Publication
Project
Alex Gyori, Shuvendu Lahiri, Nimrod Partush
The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017
Publication
Project
August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjørner, Jacek Czerwonka
Proceedings of the 39th International Conference on Software Engineering (ICSE'17) | May 2017
Publication
Project
Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach
European Symposium of Programming 2017 (ESOP'17) | April 2017
Publication
Project
Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
Runtime Verification 2016 | July 2016
Runtime Verification 2016 Best Paper Award
Publication
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Publication
Publication
Project
Project
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
Publication
Publication
Project
Shuvendu Lahiri
| May 2015
Publication
Mike Barnett, Christian Bird, Shuvendu Lahiri, Joao Brunet
Proceedings of the 37th International Conference on Software Engineering | May 2015
Publication
Publication
Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
May 2015
Publication
Project
Francesco Logozzo, Shuvendu Lahiri
Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014
Publication
Publication
Project
Project
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Publication
Project
Kenneth McMillan, Rahul Sharma, Shuvendu Lahiri
ESEC/FSE 2013 | August 2013
Publication
Publication
Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
Foundations of Software Engineering (FSE'13) | August 2013
Publication
Publication
Project
Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
Foundations of Software Engineering (FSE'13) | August 2013
Publication
Publication
Project
Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo
International Conference on Automated Deduction (CADE '13) | June 2013
International Conference on Automated Deduction (CADE '13)
Publication
Publication
Project
Sam Blackshear, Shuvendu Lahiri
Programming Language Design and Implementation (PLDI'13) | June 2013
Programming Language Design and Implementation (PLDI'13)
Publication
Project
Project
Julien Vanegue, Shuvendu Lahiri
IEEE Symposium on Security and Privacy (Oakland'13) | May 2013
Publication
Project
Shuvendu Lahiri
| April 2013
Publication
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
Publication
Project
Shuvendu Lahiri
MSR-TR-2012-103 | October 2012
Publication
Project
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Publication
Project
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Publication
Project
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Publication
Project
Project
Project
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Publication
Project
Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-González
Static Analysis Symposium (SAS '11) | August 2011
Publication
Project
Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2011-78 | August 2011
Informal proceedings of BOOGIE 2011 workshop
Publication
Project
Shuvendu Lahiri, Kapil Vaswani, Tony Hoare
2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010
Publication
Project
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2010-119 | October 2010
Publication
Project
Shuvendu Lahiri, Julien Vanegue
MSR-TR-2010-118 | August 2010
12th International Conference on Verification, Model Checking, and Abstract Interpretation
Publication
Project
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
Project
Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-Gonzalez
MSR-TR-2010-11 | February 2010
Revised in October 2010
Publication
Shuvendu Lahiri, Shaz Qadeer
MSR-TR-2009-13 | July 2009
Publication
Project
Shuvendu Lahiri, Shaz Qadeer
International Conference on Automated Deduction (CADE '09) | March 2009
Publication
Project
Shuvendu Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
MSR-TR-2009-12 | February 2009
Computer Aided Verification (CAV '09)
Publication
Project
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
Publication
Project
Project
Project
Carlos Pacheco, Shuvendu Lahiri, Thomas Ball
MSR-TR-2008-29 | July 2008
International Symposium on Software Testing and Analysis (ISSTA '08)
Publication
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
Publication
Project
Shuvendu Lahiri, Randal E. Bryant
ACM Transactions on Computational Logic (TOCL '07) | January 2007
Publication
Shuvendu Lahiri, Robert Nieuwenhuis, Albert Oliveras
Conference on Computer Aided Verification (CAV '06) | January 2006
ISBN: 3-540-37406-X
Publication
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)
Publication