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

30 January

Our work on DNA storage was selected to appear in IEEE Micro’s Top Picks from the Computer Architecture Conferences special issue later this year!

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.

Publications

Conference and Journal Papers

Workshop Papers

Posters & Talks

Theses