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
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
Shuvendu Lahiri
Formal Methods in Computer-Aided Design (FMCAD’24) | July 2024
Preprint
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
2024 International Conference on Software Engineering | May 2024
Poster track
Publication
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
Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
ICSE’23 | May 2023
Preprint
Github
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Publication
Publication
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
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
ICSE 2022 | May 2022
ICSE'22 ACM SIGSOFT Distinguished Award
Publication
Publication
视频