Scholar
Vaibhav Sharma
Google Scholar ID: sT2KKJYAAAAJ
Amazon.com Services LLC and University of Minnesota
Symbolic Execution
Program Analysis
Machine Learning
Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
252
H-index
7
i10-index
4
Publications
20
Co-authors
0
Publications
1 items
Technical Report: A Formal Semantics for Java Symbolic Evaluation using Large-Block Encoding
2026
Cited
0
