I’m an assistant professor in the Department of Computer Science at the University of Texas at Austin.

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. I work to make automated tools easier to build and to scale, and deploy them on important programming problems in systems and architecture.

I received my PhD in 2019 from the University of Washington, where I was advised by Emina Torlak, Dan Grossman, and Luis Ceze. I also have a bachelors from the Australian National University. Before starting at UT, I was a Senior Applied Scientist at Amazon Web Services, where I worked on automated reasoning for Amazon S3.


21 November 2020

Our paper on Diospyros, a new synthesis-aided compiler for DSPs, will appear at ASPLOS 2021.

7 November 2019

Our SOSP paper on scaling automated verification won best paper and distinguished artifact awards! We also have two new papers: at VMCAI 2020 on automatically fixing performance issues in solver-aided tools, and at CGO 2020 on synthesizing high-performance quantized machine learning kernels.

31 July 2019

The SIGPLAN blog published an article I wrote about the state of program synthesis in 2019.

29 May 2019

I defended my PhD!


Spring 2021: CS 395T: Systems Verification and Synthesis


Conference Papers

Journal Papers

Workshop Papers

Posters & Talks