Sarah Fakhoury
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
2023/10/03 by Madeline Endres, Sarah Fakhoury, Endres, Madeline +5 · 24 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software System Performance and Reliability
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
2024/09/01 by Sarah Fakhoury, Aaditya Naik, Georgios Sakkas +2 · 25 citations
- Ranking LLM-Generated Loop Invariants for Program Verification
2023/10/13 by Saikat Chakraborty, Shuvendu K. Lahiri, Chakraborty, Saikat +15 · 10 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
2024/05/03 by Saikat Chakraborty, Chakraborty, Saikat, Gabriel Ebner +11 · 3 voices · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.AI #cs.PL #cs.SE
- Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions
2023/04/07 by Sarah Fakhoury, Fakhoury, Sarah, Saikat Chakraborty +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
2025/09/15 by Veronica Pimenova, Pimenova, Veronica, Sarah Fakhoury +7 · 5 citations
Business, Management and Accounting · #Business Strategy and Innovation #Collaboration in agile enterprises #FOS: Computer and information sciences #Service and Product Innovation #Software Engineering (cs.SE)
- DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
2024/10/05 by Nikitha Rao, Elizabeth Gilbert, Rao, Nikitha +10 · 2 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE)
- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
2024/04/16 by Sarah Fakhoury, Fakhoury, Sarah, Markus A. Kuppe +7 · 2 citations
Computer Science · #Advanced Image and Video Retrieval Techniques #Computer Graphics and Visualization Techniques #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Software Engineering (cs.SE)