About me 

I am a Senior Applied Scientist in the Automated Reasoning  community at Amazon. I work on applying automated reasoning at Amazon. I graduated with a PhD in Computer Science from the University of Minnesota in February 2020. During my PhD, I worked with Prof. Stephen McCamant and Prof. Michael W. Whalen on addressing scalability challenges of symbolic execution and applying it for program synthesis.

Talks

• Model checking State Machines In the Wild, High Confidence Software and Systems (HCSS) 2022

• Demystify your Trust Boundary with Interactive Refinement, High Confidence Software and Systems (HCSS) 2022

List of Publications

• "State Merging with Quantifiers in Symbolic Execution", David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma, Foundations of Software Engineering (ESEC/FSE) 2023 (arXiv) and at the KLEE 2024 workshop

• "Automated Analysis of IoT Event Monitoring Systems", Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav, Computer Aided Verification (CAV) 2023  (PDF)

• "Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)", Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen, Tools and Algorithms for Construction and Analysis of Systems (TACAS) 2023

• "Counterexample-Guided Inductive Repair of Reactive Contracts", Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P.E. Heimdahl, FormaliSE 2022 (co-located with ICSE 2022) (PDF)

• "Java Ranger: Statically Summarizing Regions For Efficient Symbolic Execution Of Java," Vaibhav Sharma, Soha Hussein (joint first author), Michael W. Whalen, Stephen McCamant, Willem Visser, Foundations of Software Engineering (ESEC/FSE) 2020 (PDF)

• "Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution", Vaibhav Sharma, Doctoral Thesis, University of Minnesota, Feb 2020 (PDF)

• "It Doesn’t Have to Be So Hard:Efficient Symbolic Reasoning for CRCs", Vaibhav Sharma, Navid Emamdoost, Seonmo Kim, Stephen McCamant, Binary Analysis Research (BAR) workshop 2020

• "Java Ranger at SV-COMP 2020 (Competition Contribution)", Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser, Tools and Algorithms for Construction and Analysis of Systems (TACAS) 2020,  winner of Gold Medal in JavaOverall category of Software Verification Competition (SV-COMP) 2020

• “Finding Substitutable Binary Code by Synthesizing Adaptors,” Vaibhav Sharma, Kesha Hietala, Stephen McCamant, IEEE Transactions on Software Engineering, 2019 

• “Input Prioritization for Testing Neural Networks,” Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren Cofer, 1st IEEE International Conference on Artificial Intelligence Testing, 2019 

• “Binary Mutation Analysis of Tests Using Reassembleable Disassembly,” Navid Emamdoost, Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Binary Analysis Research Workshop, 2019 

• “Contract Discovery From Black-box Components,” Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Heimdahl, Workshop on Automated Specification Inference (WASPI), 2018 

• “Synthesizing Adapters For Binary Code Using Symbolic Execution,” Vaibhav Sharma, Stephen McCamant, Second International Workshop on Usages of Symbolic Execution (USE), 2018, Best Presentation Award 

• “Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adaptors,” Vaibhav Sharma, Kesha Hietala, Stephen McCamant, 11th IEEE Conference on Software Testing, Verification, and Validation (ICST), 2018 

• “User Authentication And Identification From User Interface Interactions on Touch-Enabled Devices,” Vaibhav Sharma and Richard Enbody, 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), 2017, Best Paper Award Runner-up 

• “Veritesting Challenges in Symbolic Execution of Java,” Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser, Java Pathfinder Workshop, 2017 

• “Discovering Instructions for Robust Binary-level Coverage Criteria,” Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats P.E. Heimdahl , Proceedings of 2017 ACM International Workshop on Testing Embedded and Cyber-Physical Systems (TECPS), 2017 

• “Towards Rigorous Object-Code Coverage Criteria,” Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats P.E. Heimdahl, The 28th International Symposium on Software Reliability Engineering (ISSRE), 2017 

• "Finding Semantically-Equivalent Binary Code by Synthesizing Adaptors", Vaibhav Sharma, Kesha Hietala, Stephen McCamant,  Midwest PL Summit, 2016 (poster) 

Professional Service

• Served on the Program Committee of the Industrial Innovation Track of the 32nd IEEE International Requirements Engineering 2024

• Served on the Program Committee of the technical track of International Conference of Software Testing (ICST) 2024

• Sub-reviewed for Michael W. Whalen on the technical track of Formal Methods in Computer-Aided Design (FMCAD) 2023

• Served on the Program Committee of the Industrial Innovation track at the 31st IEEE International Requirements Engineering (RE) 2023

• Served on the Program Committee of the Java Pathfinder (JPF) Workshop 2022, co-located with ASE 2022

• Served on the Program Committee of International Colloquium on Theoretical Aspects of Computing (ICTAC) 2022

• Served on the Program Committee of the Industry track at ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2022

• Sub-reviewed for Michael W. Whalen on the technical track of International Conference on Software Engineering (ICSE) 2022

• Served on the Program Committee of the New Ideas and Emerging Results (NIER) track at Automated Software Engineering (ASE) 2021

• Served on the Program Committee of the NIER track at the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) 2021

• Served on the Program Committee of the Industry track at ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021

• Reviewed for the Transactions of Software Engineering (TSE) journal in 2020 (invited by Andreas Zeller)

• Served on the Program Committee of the New Ideas and Emerging Results (NIER) track at Automated Software Engineering (ASE) 2020

• Served as Artifact Evaluation Committee member at the International Symposium of Software Testing and Analysis (ISSTA) 2020

• Served as Artifact Evaluation Committee member at Automated Software Engineering (ASE) 2020

• Served on the Program Committee for Binary Analysis Research Workshop 2020 (co-located with NDSS 2020)

• Served as Jury Member and Program Committee member of the International Competition of Software Verification (SV-COMP) 2020

• Reviewed for Journal of Software Testing, Verification and Reliability (STVR) (May 2019-Dec 2019)

• Website administrator for Java Pathfinder (December 2017-November 2018)

• Contributed optimization features, bug fixes, system call support to FuzzBALL (2014-2020)

• Supported development of an Android app for navigating the Michigan State University campus (2013-2015)