Sriram K. Rajamani

Joined

July 2019

Names

Sriram K. Rajamani (Preferred)

Emails

****@microsoft.com (Confirmed)

Personal Links

Career & Education History

Researcher

Research, Microsoft (research.microsoft.com)

1999 – 2023

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

STACKFEED: Structured Textual Actor-Critic Knowledge base editing with FEEDback
Shashank Kirtania, Naman Gupta, Priyanshu Gupta, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy Iyengar, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares
- DL4C @ NeurIPS 2025 Poster
- Readers: Everyone
MAC-CAFE: Multi-actor, Centralized Critic Architecture for Feedback-driven Editing
Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy Iyengar, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares
- Submitted to ICLR 2025
- Readers: Everyone
Jigsaw: Large language models meet program synthesis
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy Iyengar, Sriram K. Rajamani, Rahul Sharma
- ICSE
- Readers: Everyone
CodePlan: Repository-level Coding using LLMs and Planning
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D C, Arun Iyer, Suresh Parthasarathy, Sriram Rajamani, B. Ashok, Shashank Shet
- FMDM@NeurIPS2023
- Readers: Everyone
R2: An Efficient MCMC Sampler for Probabilistic Programs
Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel
- 2014 (modified: 16 Jul 2019)
- AAAI 2014
- Readers: Everyone
Automatically Generating Algebra Problems
Rohit Singh, Sumit Gulwani, Sriram K. Rajamani
- 2012 (modified: 16 Jul 2019)
- AAAI 2012
- Readers: Everyone

Co-Authors