Shuvendu K. Lahiri -

Not registered as user yet

Name: Shuvendu K. Lahiri

Affiliation: Microsoft Research

Contributions

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
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
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