Shuvendu K. Lahiri -

Not registered as user yet

Name:Shuvendu K. Lahiri

Country:United States

Affiliation:Microsoft Research

Contributions

ICSE 2024	Committee Member in Research Track within the Research Track-track
ICSE 2023	Author of CodaMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models within the Technical Track-track
SPLASH 2022	Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the COVID Time Papers In Person-track
SAS 2022	Author of Automated Synthesis of Asynchronizations within the SAS-track
ESEC/FSE 2022	Author of Program Merge Conflict Resolution via Neural Transformers within the Research Papers-track Author of DeepMerge: Learning to Merge Programs within the Journal First-track
ISSTA 2022	Author of Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper) within the Technical Papers-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
ASA 2022	Committee Member in Program Committee within the ASA 2022-track
ICSE 2022	Author of InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript within the SEIP - Software Engineering in Practice-track Author of TOGA: A Neural Method for Test Oracle Generation within the Technical Track-track
POPL 2022	Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the POPL-track
ICSE 2021	Author of Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis within the Technical Track-track
ASE 2020	Author of Demystifying Loops in Smart Contracts within the Research Papers-track
ISSTA 2020	Committee Member in Program Committee within the WoSCA-track Author of Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Verification to Solidity Smart Contract Developers within the WoSCA-track
ICSE 2020	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
MSR 2020	Author of A Dataset of Dockerfiles within the Data Showcase-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
PERR 2019	Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
ESEC/FSE 2018	Author of Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces within the Research Papers-track
SPLASH 2018	Author of Verified Three-Way Program Merge within the OOPSLA-track
POPL 2018	Author of Verifying Equivalence of Database-Driven Applications within the Research Papers-track
ISSTA 2017	Author of Refining Interprocedural Change-Impact Analysis using Equivalence Relations within the Technical Papers-track
VMCAI 2017	Committee Member in Program committee