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

18 December

I was interviewed for the People of Programming Languages series.

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!

Publications

Conference Papers

Journal Papers

Workshop Papers

Posters & Talks

Theses