I’m a third-year computer science PhD student in the PLSE and Sampa groups at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze. I work on programming languages and formal methods, from program synthesis frameworks to consistency models.

I have a masters from UW, a bachelors from the Australian National University, and was a software engineer at Microsoft Research.

News

12 July

I was lucky enough to speak at the Programming Languages Mentoring Workshop at PLDI this year about our work on Uncertain<T>. You can watch the talk (sorry about the quality!) or check out the slides.

18 June

Back in January, I presented our paper on Optimizing Synthesis with Metasketches at POPL 2016. If you weren’t there, you can now watch the talk on YouTube!

12 April

I presented our two papers, on file system crash-consistency models and DNA storage, at ASPLOS 2016. The internet is awash with cat pictures thanks to coverage of our DNA storage work; see the Daily Mail, The Register, or Gizmodo.

17 February

Memory Consistency Models: A Primer

The cause of, and solution to, all your multicore performance problems.

Publications

Conference and Journal Papers

Workshop Papers

Posters & Talks

Theses