The effect of poor source code lexicon and readability on developers' cognitive load. - Sarah Fakhoury; Yuzhan Ma; Venera Arnaoudova; Olusola O. Adesope (ICPC, 2018)

Automatic classification of software artifacts in open-source applications. - Yuzhan Ma; Sarah Fakhoury; Michael Christensen 003; Venera Arnaoudova; Waleed Zogaan; Mehdi Mirakhorli (MSR, 2018)

Moving towards objective measures of program comprehension. - Sarah Fakhoury (ESEC/SIGSOFT FSE, 2018)

Keep it simple: Is deep learning good for linguistic smell detection? - Sarah Fakhoury; Venera Arnaoudova; Cedric Noiseux; Foutse Khomh; Giuliano Antoniol (SANER, 2018)

Improving source code readability: theory and practice. - Sarah Fakhoury; Devjeet Roy; Sk Adnan Hassan; Venera Arnaoudova (ICPC, 2019)

VITALSE: visualizing eye tracking and biometric data. - Devjeet Roy; Sarah Fakhoury; Venera Arnaoudova (ICSE (Companion Volume), 2020)

A Model to Detect Readability Improvements in Incremental Changes. - Devjeet Roy; Sarah Fakhoury; John Lee; Venera Arnaoudova (ICPC, 2020)

Measuring the impact of lexical and structural inconsistencies on developers' cognitive load during bug localization. - Sarah Fakhoury; Devjeet Roy; Yuzhan Ma; Venera Arnaoudova; Olusola O. Adesope (Empir. Softw. Eng., 2020)

gazel: Supporting Source Code Edits in Eye-Tracking Studies. - Sarah Fakhoury; Devjeet Roy; Harry Pines; Tyler Cleveland; Cole S. Peterson; Venera Arnaoudova; Bonita Sharif; Jonathan I. Maletic (ICSE (Companion Volume), 2021)

Reassessing automatic evaluation metrics for code summarization tasks. - Devjeet Roy; Sarah Fakhoury; Venera Arnaoudova (ESEC/SIGSOFT FSE, 2021)

MergeBERT: Program Merge Conflict Resolution via Neural Transformers. - Alexey Svyatkovskiy; Todd Mytkowicz; Negar Ghorbani; Sarah Fakhoury; Elizabeth Dinella; Christian Bird; Neel Sundaresan; Shuvendu K. Lahiri (CoRR, 2021)

Program merge conflict resolution via neural transformers. - Alexey Svyatkovskiy; Sarah Fakhoury; Negar Ghorbani; Todd Mytkowicz; Elizabeth Dinella; Christian Bird; Jinu Jang; Neel Sundaresan; Shuvendu K. Lahiri (ESEC/SIGSOFT FSE, 2022)

Ranking LLM-Generated Loop Invariants for Program Verification. - Saikat Chakraborty; Shuvendu K. Lahiri; Sarah Fakhoury; Akash Lal; Madanlal Musuvathi; Aseem Rastogi; Aditya Senthilnathan; Rahul Sharma 001; Nikhil Swamy (EMNLP (Findings), 2023)

Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions. - Sarah Fakhoury; Saikat Chakraborty; Madan Musuvathi; Shuvendu K. Lahiri (CoRR, 2023)

Formalizing Natural Language Intent into Program Specifications via Large Language Models. - Madeline Endres; Sarah Fakhoury; Saikat Chakraborty; Shuvendu K. Lahiri (CoRR, 2023)

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. - Sarah Fakhoury; Saikat Chakraborty; Madanlal Musuvathi; Shuvendu K. Lahiri (ICSE Companion, 2024)

Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. - Sarah Fakhoury; Aaditya Naik; Georgios Sakkas; Saikat Chakraborty; Madan Musuvathi; Shuvendu K. Lahiri (ICSE Companion, 2024)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts. - Nikitha Rao; Elizabeth Gilbert; Tahina Ramananandro; Nikhil Swamy; Claire Le Goues; Sarah Fakhoury (CoRR, 2024)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? - Madeline Endres; Sarah Fakhoury; Saikat Chakraborty; Shuvendu K. Lahiri (Proc. ACM Softw. Eng., 2024)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation. - Sarah Fakhoury; Aaditya Naik; Georgios Sakkas; Saikat Chakraborty; Shuvendu K. Lahiri (IEEE Trans. Software Eng., 2024)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. - Saikat Chakraborty; Gabriel Ebner; Siddharth Bhat; Sarah Fakhoury; Sakina Fatima; Shuvendu K. Lahiri; Nikhil Swamy (ICSE, 2025)

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. - Sarah Fakhoury; Markus Kuppe 001; Shuvendu K. Lahiri; Tahina Ramananandro; Nikhil Swamy (ICSE, 2025)

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 001; Sarah Fakhoury (CoRR, 2025)