Shuvendu Lahiri

Not registered as user yet

Name: Shuvendu Lahiri

Affiliation: Microsoft

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