Vaibhav Sharma

Employment

• Amazon (United States)
  2022 - Present
• Amazon Web Services Applied Scientist II
  2020 - 2022
• University of Minnesota

Education

• University of Minnesota PhD
  2015 - 2020

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• State Merging with Quantifiers in Symbolic Execution
  2023 DOI: 10.1145/3611643.3616287
  +Save
• Automated Analyses of IOT Event Monitoring Systems
  2023 DOI: 10.1007/978-3-031-37706-8_2
  +Save
• Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)
  2023 DOI: 10.1007/978-3-031-30820-8_35
  +Save
• Finding Substitutable Binary Code By Synthesizing Adapters
  IEEE Transactions on Software Engineering 2021 DOI: 10.1109/TSE.2019.2931000
  +Save
• Java Ranger at SV-COMP 2020 (Competition Contribution)
  2020 DOI: 10.1007/978-3-030-45237-7_27
  +Save