ESEC/FSE 2022 (series) / 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
Research interests:Symbolic Execution, Program Analysis
Contributions
| ESEC/FSE 2022 | Committee Member in Program Committee within the Industry Paper-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESEC/FSE 2022-profile
View general profile
View general profile