Shuvendu K. Lahiri -

Not registered as user yet

Name:Shuvendu K. Lahiri

Country:United States

Affiliation:Microsoft Research

Contributions

ASA 2022	Committee Member in Program Committee within the ASA 2022-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
POPL 2022	Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the POPL-track
ASE 2020	Author of Demystifying Loops in Smart Contracts within the Research Papers-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
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
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
ICSE 2021	Author of Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis within the Technical Track-track
PERR 2019	Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-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
SPLASH 2018	Author of Verified Three-Way Program Merge within the OOPSLA-track
ESEC/FSE 2018	Author of Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces within the Research Papers-track
POPL 2018	Author of Verifying Equivalence of Database-Driven Applications within the Research Papers-track
VMCAI 2017	Committee Member in Program committee
ISSTA 2017	Author of Refining Interprocedural Change-Impact Analysis using Equivalence Relations within the Technical Papers-track