Sarah Fakhoury

30 papers A* 2A 5Journal 14Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. ICSE Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy
2025	J	`jnl`	Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding. CoRR Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne D. Storey, Madeline Endres
2025	A*	`conf`	Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. ICSE Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2025	J	`jnl`	What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus. CoRR Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
2024	J	`jnl`	3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. CoRR Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy
2024	J	`jnl`	Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Proc. ACM Softw. Eng. Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri
2024	J	`jnl`	DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts. CoRR Nikitha Rao, Elizabeth Gilbert, Tahina Ramananandro, Nikhil Swamy, Claire Le Goues, Sarah Fakhoury
2024	—	`conf`	Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. ICSE Companion Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2024	J	`jnl`	LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation. IEEE Trans. Software Eng. Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024	J	`jnl`	LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. CoRR Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024	—	`conf`	NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. ICSE Companion Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri
2024	J	`jnl`	Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. CoRR Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2023	J	`jnl`	Formalizing Natural Language Intent into Program Specifications via Large Language Models. CoRR Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri
2023	—	`conf`	Ranking LLM-Generated Loop Invariants for Program Verification. EMNLP (Findings) Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023	J	`jnl`	Ranking LLM-Generated Loop Invariants for Program Verification. CoRR Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023	J	`jnl`	Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions. CoRR Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2022	—	`—`	Models, Metrics, and Minds Empirical Perspectives on Developer Productivity. Sarah Fakhoury
2022	—	`conf`	Program merge conflict resolution via neural transformers. ESEC/SIGSOFT FSE Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Elizabeth Dinella, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu K. Lahiri
2021	J	`jnl`	MergeBERT: Program Merge Conflict Resolution via Neural Transformers. CoRR Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu K. Lahiri
2021	—	`conf`	Reassessing automatic evaluation metrics for code summarization tasks. ESEC/SIGSOFT FSE Devjeet Roy, Sarah Fakhoury, Venera Arnaoudova
2021	—	`conf`	gazel: Supporting Source Code Edits in Eye-Tracking Studies. ICSE (Companion Volume) Sarah Fakhoury, Devjeet Roy, Harry Pines, Tyler Cleveland, Cole S. Peterson, Venera Arnaoudova, Bonita Sharif, Jonathan I. Maletic
2021	J	`jnl`	gazel: Supporting Source Code Edits in Eye-Tracking Studies. CoRR Sarah Fakhoury, Devjeet Roy, Harry Pines, Tyler Cleveland, Cole S. Peterson, Venera Arnaoudova, Bonita Sharif, Jonathan I. Maletic
2020	A	`conf`	A Model to Detect Readability Improvements in Incremental Changes. ICPC Devjeet Roy, Sarah Fakhoury, John Lee, Venera Arnaoudova
2020	J	`jnl`	Measuring the impact of lexical and structural inconsistencies on developers' cognitive load during bug localization. Empir. Softw. Eng. Sarah Fakhoury, Devjeet Roy, Yuzhan Ma, Venera Arnaoudova, Olusola O. Adesope
2020	—	`conf`	VITALSE: visualizing eye tracking and biometric data. ICSE (Companion Volume) Devjeet Roy, Sarah Fakhoury, Venera Arnaoudova
2019	A	`conf`	Improving source code readability: theory and practice. ICPC Sarah Fakhoury, Devjeet Roy, Sk Adnan Hassan, Venera Arnaoudova
2018	A	`conf`	Automatic classification of software artifacts in open-source applications. MSR Yuzhan Ma, Sarah Fakhoury, Michael Christensen, Venera Arnaoudova, Waleed Zogaan, Mehdi Mirakhorli
2018	A	`conf`	Keep it simple: Is deep learning good for linguistic smell detection? SANER Sarah Fakhoury, Venera Arnaoudova, Cedric Noiseux, Foutse Khomh, Giuliano Antoniol
2018	—	`conf`	Moving towards objective measures of program comprehension. ESEC/SIGSOFT FSE Sarah Fakhoury
2018	A	`conf`	The effect of poor source code lexicon and readability on developers' cognitive load. ICPC Sarah Fakhoury, Yuzhan Ma, Venera Arnaoudova, Olusola O. Adesope