Sarah Fakhoury
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. | Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy |
| 2025 | ICSE | 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. | Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy |
| 2024 | ICSE | NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. | Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri |
| 2024 | ICSE | 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 |
| 2023 | EMNLP | 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 |
| 2021 | ICSE | 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 |
| 2020 | ICSE | VITALSE: visualizing eye tracking and biometric data. | Devjeet Roy, Sarah Fakhoury, Venera Arnaoudova |
| 2018 | MSR | Automatic classification of software artifacts in open-source applications. | Yuzhan Ma, Sarah Fakhoury, Michael Christensen, Venera Arnaoudova, Waleed Zogaan, Mehdi Mirakhorli |