Sarah Fakhoury

Joined

February 2023

Names

Sarah Fakhoury (Preferred)

Emails

****@microsoft.com (Confirmed)

Personal Links

Career & Education History

Postdoc

Microsoft Research (research.microsoft.com)

2022 – 2024

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu K Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
- 27 Nov 2023 (modified: 27 Nov 2023)
- OpenReview Archive Direct Upload
- Readers: Everyone
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
- EMNLP 2023 Findings
- Readers: Everyone

Co-Authors