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 the Amazon S3 object storage service.

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.

News

15 September 2023

Two fun new papers! Our work on synthesized soft updates for crash consistency appeared at ECOOP 2023. Sammy’s work on Isaria, a framework for automatically building vectorizing compilers for weird architectures, will appear at ASPLOS 2024!

14 March 2023

From the AWS side of my head on Pi Day: our thoughts on building a reliable and fast user-space file system for Amazon S3.

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.

Teaching

Students

Publications

Conference Papers

Journal Papers

Workshop Papers

Posters & Talks

Theses