conf.researchr.org / Shuvendu K. Lahiri
Not registered as user
Name:Shuvendu K. Lahiri
Country:United States
Affiliation:Microsoft Research
Contributions
2025
ICSE
- Author of LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation within the Journal-first Papers-track
- Author of 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers within the Research Track-track
- Author of Towards Neural Synthesis for SMT-assisted Proof-Oriented Programming within the Research Track-track
2024
ESEC/FSE
ICSE
- Committee Member in Research Track within the Research Track-track
- Author of NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions within the Posters-track
- Author of Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation within the Posters-track
2023
2022
Static Analysis Symposium
ESEC/FSE
ICSE
2020
ISSTA
ICSE
- Author of Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An industrial Case Study within the Software Engineering in Practice-track
- Author of Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study within the ICSE 2020 Posters-track
- Author of Learning from, Understanding, and Supporting DevOps Artifacts for Docker within the Technical Papers-track
- Programme Committee in Program Committee within the Technical Papers-track