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 Download Download

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, Vol 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 Video

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 Download Download

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, Vol 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 Video

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 Video

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, Vol 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 Download Download

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 Video

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