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

I work in programming languages, formal methods, and systems. 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 programming tools easier to build and use, and deploy them at scale on applications 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.




Conference Papers

Journal Papers

Workshop Papers

Posters & Talks