Sarah Fakhoury

Senior Researcher

论文与出版物

查看方式：

- Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
  
  Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres
  
  September 2025
  
  Publication
- What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
  
  Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
  
  August 2025
  
  Preprint
- 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 Access Access 项目
- 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 项目
- 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 项目
- Program Merge Conflict Resolution via Neural Transformers
  
  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 项目项目

- Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
  
  Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres
  
  September 2025
  
  Publication
- What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
  
  Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
  
  August 2025
  
  Preprint
- 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 项目
- Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
  
  Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres
  
  September 2025
  
  Publication
- What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
  
  Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
  
  August 2025
  
  Preprint
- 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 Access Access 项目
- 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 项目
- 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 项目
- Program Merge Conflict Resolution via Neural Transformers
  
  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 项目项目

- What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
  
  Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
  
  August 2025
  
  Preprint
- Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
  
  Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres
  
  September 2025
  
  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 Access Access 项目
- 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 项目
- 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 项目
- Program Merge Conflict Resolution via Neural Transformers
  
  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 项目项目

Sarah Fakhoury

论文与出版物

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding

What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation

Ranking LLM-Generated Loop Invariants for Program Verification

Program Merge Conflict Resolution via Neural Transformers

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding

What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Ranking LLM-Generated Loop Invariants for Program Verification

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding

What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation

Ranking LLM-Generated Loop Invariants for Program Verification

Program Merge Conflict Resolution via Neural Transformers

What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions

Ranking LLM-Generated Loop Invariants for Program Verification

Program Merge Conflict Resolution via Neural Transformers

联系 Sarah Fakhoury

Microsoft Research Lab – Redmond