I’m a fourth-year computer science PhD student in the PLSE group at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze. I work on programming languages and formal methods, with an emphasis on new automated program synthesis and verification techniques.
Yes, and I did, but you shouldn’t.
I was interviewed for the People of Programming Languages series at POPL 2018.
Finding Code That Explodes Under Symbolic Evaluation.
Nickel: A Framework for Design and Verification of Information Flow Control Systems.
ASPLOS 2016. IEEE Micro Top Picks.
OSDI 2016. Best Paper Award.
ASPLOS 2014. SIGPLAN Research Highlight. IEEE Micro Top Picks.
IEEE Embedded Systems Letters, vol. 10, no. 1, pp. 2–5.
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.