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.


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.




Conference Papers

Journal Papers

Workshop Papers

Posters & Talks