conf.researchr.org / Vaibhav Sharma
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 email me at svaib@amazon.com

Country:United States
Affiliation:Amazon
Personal website:https://sites.google.com/view/vaibhavbsharma/home
Twitter:https://twitter.com/vbsharma
GitHub:https://github.com/vaibhavbsharma
Research interests:Symbolic Execution, Program Analysis

Contributions

Requirements Engineering 2023 Committee Member in Program Committee within the Industrial Innovation Papers-track
AST 2023 Author of Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution within the AST 2023-track
ESEC/FSE 2022 Committee Member in Program Committee within the Industry Paper-track
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 2021 Session Chair of Analysis—Static Analysis and Symbolic Execution (part of Research Papers)
Committee Member in Program Committee within the Industry Papers-track
ESEC/FSE 2020 Author of Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java within the Research 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
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