Education

University of Washington

September 2016 – present
  • Ph.D. Computer Science

Carnegie Mellon University

August 2012 – May 2016

Current Projects

Rapid, Reliable Microfluidic Programming for Domain Experts

June 2017 – present
  • Designing a high-level, reliable abstraction for digital microfluidic devices
  • Collaborating with synthetic biologists to implement libraries for domain-specific operations
  • Working with and mentoring 4 undergrad students

Domain-Specific Reconfigurable Accelerators

September 2016 – present
  • Exploring methods for designing and programming DSRAs using techniques like program synthesis
  • Automatically identifying building blocks that implement functionality across applications

Past Projects

Concurrent C0 Design and Implementation

January 2015 – May 2016
Senior Honors Thesis
  • Worked on a concurrent extension to C0, a research project started as a well-defined subset of C
  • Used guarantees from session typing for efficient message passing implementation including intelligent scheduling decisions, lower memory impact, and deadlock free execution

Abstractions for Concurrent Interactive Programs

August 2014 – December 2014
  • Worked on a functional programming for interaction, including an implementation in OCaml

Teaching

Hardware/Software Interface

December 2016 – March 2017
UW CSE 351

Operating Systems

August 2015 – May 2016
CMU 15-140
  • Responsible for holding office hours and evaluating student projects, including code review of several kernel implementations

Professional Experience

Apple

May 2015 – August 2015
iOS Performance

Apple

May 2014 – August 2014
Siri Operations

SEI at Carnegie Mellon

May 2013 – August 2013

Awards

NSF Graduate Research Fellowship Program Honorable Mention

April 2018

Qualcomm Innovation Fellowship

May 2017
Program Synthesis for Domain Specific Reconfigurable Accelerators

Exemplary Thesis

May 2016
Chosen by the senior thesis committee

Andrew Carnegie Scholar

September 2016

Senior Leadership Awards

May 2016
40 seniors (of approx. 1500) selected by deans and dept. heads for leadership and academic excellence

Selected Coursework

University of Washington

  • 599C - Finite Model Theory
  • 599H - Computing for Social Good
  • 548 - Computer Architecture
  • 507 - Computer-Aided Reasoning
  • 544 - Database Management Systems

Carnegie Mellon University

  • 15-417 - Higher Order Compilation
  • 15-411 - Compiler Design
  • 15-312 - Programming Languages
  • 15-410 - Operating Systems
  • 15-451 - Algorithm Design/Analysis
  • 15-213 - Computer Systems
  • 21-484 - Graph Theory
  • 15-396 - Science of the Web

Publications

Extensible Semantics for Fluidics
OBT at POPL, January 2018
[slides]
Design and Implementation of Concurrent C0
Fourth International Workshop on Linearity, June 2016
[bibtex]
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] [bibtex]