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’m also a visiting researcher at Amazon Web Services, where I work on automated reasoning for Amazon S3.

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.


22 October 2021

On the AWS Storage blog, we wrote a post about how we’re using formal methods to build Amazon S3.

29 September 2021

We have a new paper at SOSP 2021 about applying lightweight formal methods to validate ShardStore, Amazon S3’s new storage node software. As part of this work, we open-sourced a new stateless model checker for Rust called Shuttle, which is great at finding subtle concurrency bugs.

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.


Spring 2022: CS 395T: Systems Verification and Synthesis
Spring 2021: CS 395T: Systems Verification and Synthesis


Conference Papers

Journal Papers

Workshop Papers

Posters & Talks