Registered user since Mon 12 Jun 2017
I am part of the Automated Reasoning community at Amazon. If you like working on applications of automated reasoning, please talk with me.
Research interests:Symbolic Execution, Program Analysis
|ESEC/FSE 2022||Committee Member in Program Committee within the Industry Paper-track|
|Show activities from other conferences|
Using general profile