Registered user since Fri 22 Jan 2016
I am an Applied Scientist within the Automated Reasoning Group (ARG) at AWS. I work on program verification and synthesis technologies.
Affiliation:Amazon Web Services, USA
Research interests:Programming Languages, Program Synthesis, Program Verification, Statistical Learning
|SPLASH 2021||Data-Driven Inference of Representation Invariants|
|Show activities from other conferences|
Using general profile