Vaibhav Sharma

Registered user since Mon 12 Jun 2017

Name:Vaibhav Sharma
Bio:

I am part of the Automated Reasoning community at Amazon. If you like working on applications of automated reasoning, please talk with me.

Country:United States
Affiliation:Amazon
Research interests:Symbolic Execution, Program Analysis

Contributions

FormaliSE 2022 Author of Counterexample-Guided Inductive Repair of Reactive Contracts within the FormaliSE 2022-track
ASE 2021 Author of Counterexample Guided Inductive Repair of Reactive Contracts within the Late Breaking Results-track
Committee Member in Program Committee within the NIER track-track
ESEC/FSE 2022 Committee Member in Program Committee within the Industry Paper-track
ESEC/FSE 2021 Session Chair of Analysis—Static Analysis and Symbolic Execution (part of Research Papers)
Committee Member in Program Committee within the Industry Papers-track
ASE 2020 University of Minnesota in Program Committee within the NIER track-track
ISSTA 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ESEC/FSE 2020 Author of Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java within the Research Papers-track
ASE 2019 Author of Automatically Repairing Binary Programs Using Adapter Synthesis within the Doctoral Symposium-track
ESEC/FSE 2018 Author of Contract Discovery from Black-Box Components within the WASPI-track
ISSTA 2017 Author of Discovering Instructions for Robust Binary-Level Coverage Criteria within the TECPS-track