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.
Our paper Synthesizing Memory Models from Framework Sketches and Litmus Tests will appear at PLDI 2017! More info on the MemSynth homepage.
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!
Hyperkernel: Push-Button Verification of an OS Kernel.
OSDI 2016. Best Paper Award.
ASPLOS 2016. IEEE Micro Top Picks.
ASPLOS 2014. SIGPLAN Research Highlight. IEEE Micro Top Picks.
IEEE Micro, vol. 37, no. 3, pp. 98–104, May–June 2017.
IEEE Micro, vol. 35, no. 3, pp. 132–143, May–June 2015.
Posters & Talks
PLDI 2013 Student Research Competition. First Place, PLDI Student Research Competition. Second Place, ACM Student Research Competition Grand Final.
Honours thesis, Bachelor of Philosophy (Honours), Australian National University, 2013.