Sarah Fakhoury

According to our database, Sarah Fakhoury authored at least 22 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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., September, 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

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

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy

CoRR, 2024

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers.

Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy

CoRR, 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

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions.

Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

Formalizing Natural Language Intent into Program Specifications via Large Language Models.

Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri

CoRR, 2023

Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions.

Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri

CoRR, 2023

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, Nikhil Swamy

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

2022

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

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

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

Reassessing automatic evaluation metrics for code summarization tasks.

Devjeet Roy, Sarah Fakhoury, Venera Arnaoudova

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

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

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

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

A Model to Detect Readability Improvements in Incremental Changes.

Devjeet Roy, Sarah Fakhoury, John Lee, Venera Arnaoudova

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

VITALSE: visualizing eye tracking and biometric data.

Devjeet Roy, Sarah Fakhoury, Venera Arnaoudova

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Improving source code readability: theory and practice.

Sarah Fakhoury, Devjeet Roy, Sk Adnan Hassan, Venera Arnaoudova

Proceedings of the 27th International Conference on Program Comprehension, 2019

2018

Keep it simple: Is deep learning good for linguistic smell detection?

Sarah Fakhoury, Venera Arnaoudova, Cedric Noiseux, Foutse Khomh, Giuliano Antoniol

Proceedings of the 25th International Conference on Software Analysis, 2018

Moving towards objective measures of program comprehension.

Sarah Fakhoury

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Automatic classification of software artifacts in open-source applications.

Yuzhan Ma, Sarah Fakhoury, Michael Christensen, Venera Arnaoudova, Waleed Zogaan, Mehdi Mirakhorli

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

The effect of poor source code lexicon and readability on developers' cognitive load.

Sarah Fakhoury, Yuzhan Ma, Venera Arnaoudova, Olusola O. Adesope

Proceedings of the 26th Conference on Program Comprehension, 2018