Max Willsey

I'm a first-year Ph.D. student at the University of Washington with a focus on programming languages (PLSE) and architecture (Sampa).

I'm currently working on ways to design and program domain-specific reconfigurable accelerators by applying techniques from programming languages to architecture design.

I'm also working on programming models for microfluidic chips. These architectures promise to make labs-on-a-chip (LoCs) scalable and affordable, but issues like high error rates, resource management, and concurrency make them difficult to program.

Papers

Design and Implementation of Concurrent C0
Max Willsey, Rokhini Prabhu, and Frank Pfenning
Fourth International Workshop on Linearity, June 2016
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]