I’m a fifth (and final) year PhD candidate in the PLSE and UNSAT groups 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 building scalable automated reasoning tools for program verification and synthesis.
I have a masters from UW and a bachelors from the Australian National University. I’ve also spent time at Microsoft Research and Amazon Web Services. I’m grateful to be supported by a Facebook PhD Fellowship.
I’m on the faculty job market this year!
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
Our OOPSLA’18 paper introduces performance debugging techniques for automated reasoning tools.
Yes, and I did, but you shouldn’t.
OOPSLA 2018. Distinguished Artifact Award.
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.