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.
The cause of, and solution to, all your multicore performance problems.
Conference and Journal Papers
OSDI 2016. Best Paper Award.
IEEE Micro, vol. 35, no. 3, pp. 132–143, May–June 2015.
ASPLOS 2014. SIGPLAN Research Highlight. IEEE Micro Top Picks.
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.