I’m a fourth-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

27 June

The video from my PLDI 2017 talk about memory model synthesis is available.

13 April
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.

Publications

Conference Papers

Journal Papers

Workshop Papers

Posters & Talks

Theses