conf.researchr.org / Shuvendu K. Lahiri
Shuvendu K. Lahiri

Not registered as user yet

Name: Shuvendu K. Lahiri

Affiliation: Microsoft Research

Contributions

POPL 2020Committee Member in Program Committee within the Research Papers-track
PERR 2019Committee Member in Organizing Committee within the PERR-track
Committee Member in Program Committee within the PERR-track
ICSE 2020Programme Committee in Program Committee within the Technical Papers-track
SPLASH 2018Author of Verified Three-Way Program Merge within the OOPSLA-track
ESEC/FSE 2018Author of Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces within the Research Papers-track
POPL 2018Author of Verifying Equivalence of Database-Driven Applications within the Research Papers-track
VMCAI 2017Committee Member in Program committee
ISSTA 2017Author of Refining Interprocedural Change-Impact Analysis using Equivalence Relations within the Technical Papers-track