In Autumn 2020 I will join the University of Texas at Austin as an Assistant Professor of Computer Science. I’m currently an Applied Scientist in the Automated Reasoning Group at Amazon Web Services.

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, and a member of the UNSAT and PLSE groups. I also have a masters from UW and a bachelors from the Australian National University.

News

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!

21 November 2018

Publications

Conference Papers

Journal Papers

Workshop Papers

Posters & Talks

Theses