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 アクセスアクセスプロジェクト
- 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 アクセスアクセスプロジェクト
- 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 アクセスアクセスプロジェクト
- 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