Trusted AI-assisted Programming - Microsoft Research: Publications

Trusted AI-assisted Programming

论文与出版物

查看方式：

- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
  
  Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  DOI Publication Publication
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 下载下载
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  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
- Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
  
  Shuvendu Lahiri
  
  Formal Methods in Computer-Aided Design (FMCAD’24) | July 2024
  
  Preprint
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 第 50 卷: pp. 2254-2268
  
  DOI Publication
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  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
- CODAMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
  
  Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
  
  ICSE’23 | May 2023
  
  Preprint Github
- Fault-Aware Neural Code Rankers
  
  Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
  
  NeurIPS 2022 | November 2022
  
  Publication Publication
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  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
- TOGA: A Neural Method for Test Oracle Generation
  
  Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
  
  ICSE 2022 | May 2022
  
  ICSE'22 ACM SIGSOFT Distinguished Award
  
  Publication Publication 视频

- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
  
  Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  DOI Publication Publication
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 下载下载
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  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
- Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
  
  Shuvendu Lahiri
  
  Formal Methods in Computer-Aided Design (FMCAD’24) | July 2024
  
  Preprint
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 第 50 卷: pp. 2254-2268
  
  DOI Publication
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  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
- CODAMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
  
  Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
  
  ICSE’23 | May 2023
  
  Preprint Github
- Fault-Aware Neural Code Rankers
  
  Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
  
  NeurIPS 2022 | November 2022
  
  Publication Publication
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  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
- TOGA: A Neural Method for Test Oracle Generation
  
  Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
  
  ICSE 2022 | May 2022
  
  ICSE'22 ACM SIGSOFT Distinguished Award
  
  Publication Publication 视频
- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
  
  Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  DOI Publication Publication
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  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
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  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
- Fault-Aware Neural Code Rankers
  
  Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
  
  NeurIPS 2022 | November 2022
  
  Publication Publication
- TOGA: A Neural Method for Test Oracle Generation
  
  Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
  
  ICSE 2022 | May 2022
  
  ICSE'22 ACM SIGSOFT Distinguished Award
  
  Publication Publication 视频

- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 第 50 卷: pp. 2254-2268
  
  DOI Publication
- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
  
  Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  DOI Publication Publication
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 下载下载
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  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
- Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
  
  Shuvendu Lahiri
  
  Formal Methods in Computer-Aided Design (FMCAD’24) | July 2024
  
  Preprint
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  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
- CODAMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
  
  Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
  
  ICSE’23 | May 2023
  
  Preprint Github
- Fault-Aware Neural Code Rankers
  
  Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
  
  NeurIPS 2022 | November 2022
  
  Publication Publication
- TOGA: A Neural Method for Test Oracle Generation
  
  Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
  
  ICSE 2022 | May 2022
  
  ICSE'22 ACM SIGSOFT Distinguished Award
  
  Publication Publication 视频
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  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