Madanlal Musuvathi

Joined

December 2017

Names

Madanlal Musuvathi

Emails

****@microsoft.com (Confirmed)

Personal Links

Career & Education History

PhD student

Stanford University (stanford.edu)

1996 – 2004

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
Fault-Aware Neural Code Rankers
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu K Lahiri, Madanlal Musuvathi, Jianfeng Gao
- Published: 31 Oct 2022, Last Modified: 08 Feb 2026
- NeurIPS 2022 Accept
- Readers: Everyone
Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup
Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz
- 2015 (modified: 11 Nov 2022)
- ICML 2015
- Readers: Everyone

Co-Authors