Personal information

No personal information available

Activities

Collapse all

Employment (3)

University of Minnesota: Minneapolis, MN, US

Employment
Source: Self-asserted source
Vaibhav Sharma

Amazon (United States): Cupertino, California, US

2022-02-02 to present
Employment
Source: Self-asserted source
Vaibhav Sharma

Amazon Web Services: Cupertino, California, US

2020-02 to 2022-02-02 | Applied Scientist II (Automated Reasoning Group)
Employment
Source: Self-asserted source
Vaibhav Sharma

Education and qualifications (1)

University of Minnesota: Minneapolis, Minnesota, US

2015-09-01 to 2020-02-28 | PhD (Computer Science)
Education
Source: Self-asserted source
Vaibhav Sharma

Works (5)

Automated Analyses of IOT Event Monitoring Systems

2023 | Book chapter
DOI: 10.1007/978-3-031-37706-8_2
Contributors: Andrew Apicelli; Sam Bayless; Ankush Das; Andrew Gacek; Dhiva Jaganathan; Saswat Padhi; Vaibhav Sharma; Michael W. Whalen; Raveesh Yadav
Source: check_circle
Crossref

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)

2023 | Book chapter
DOI: 10.1007/978-3-031-30820-8_35
Contributors: Soha Hussein; Qiuchen Yan; Stephen McCamant; Vaibhav Sharma; Michael W. Whalen
Source: check_circle
Crossref

State Merging with Quantifiers in Symbolic Execution

2023-11-30 | Conference paper
DOI: 10.1145/3611643.3616287
Contributors: David Trabish; Noam Rinetzky; Sharon Shoham; Vaibhav Sharma
Source: check_circle
Crossref

Finding Substitutable Binary Code By Synthesizing Adapters

IEEE Transactions on Software Engineering
2021-08-01 | Journal article
DOI: 10.1109/TSE.2019.2931000
Contributors: Vaibhav Sharma; Kesha Hietala; Stephen McCamant
Source: check_circle
Crossref

Java Ranger at SV-COMP 2020 (Competition Contribution)

2020 | Book chapter
DOI: 10.1007/978-3-030-45237-7_27
Contributors: Vaibhav Sharma; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser
Source: check_circle
Crossref
How many people are using ORCID?