Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shuvendu K. Lahiri
conf.researchr.org general profile
ASE 2020 profile
ESEC/FSE 2018 profile
ETAPS 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ISSTA 2017 profile
ISSTA 2020 profile
PLDI 2022 profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
POPL 2022 profile
SPLASH 2018 profile
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
Share
x
Wed 25 May 06:17