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.
|PLDI 2022||Committee Member in PLDI within the PLDI-track|
|Show activities from other conferences|