Registered user since Fri 23 Mar 2018
Name:Sarah Fakhoury
Country:United States
Affiliation:Microsoft Research
Personal website: https://smfakhoury.github.io
X (Twitter): https://x.com/fakhourysm
Contributions
2025
ICSE
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
- Towards Neural Synthesis for SMT-assisted Proof-Oriented Programming
- Committee Member in Mentoring Pods within the Student Mentoring Workshop (SMeW)-track
- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
- Committee Member in Research Track within the Research Track-track
Using general profile