Registered user since Fri 16 Jan 2015
I work on programming languages and formal methods. My research helps programmers build more reliable software using automated programming tools: verification tools that check program correctness, and synthesis tools that generate correct programs from specifications.
|VMCAI 2020||Fixing Code That Explodes Under Symbolic Evaluation|
|Show activities from other conferences|
View general profile