Max Willsey

I just graduated from Carnegie Mellon University. Starting in the fall, I'll be pursing my Ph.D. at the University of Washington with a focus on programming languages.

My CV is here.

Papers

Design and Implementation of Concurrent C0
Max Willsey, Rokhini Prabhu, and Frank Pfenning
Fourth International Workshop on Linearity, June 2016 (to appear)
Design and Implementation of Concurrent C0
Max Willsey
Senior Honors Thesis, May 2016
Designated as Exemplary Thesis by the senior thesis award committee
[Poster] [Slides]