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