Education

• University of Washington, PhD 2021
  Thesis: Fast and Flexible Equality Saturation
  Project page: egraphs-good.github.io
• Carnegie Mellon University, BS 2016
  Thesis: Design and Implementation of Concurrent C0

Experience

• Postdoctoral Researcher
  University of Washington, 2021–present
  Led and participated in research projects, published papers, mentored a diverse range of undergraduate students

• Research Assistant
  University of Washington, 2016–2021

• Research Intern
  OctoML, Summer 2020
  Designed and implemented a state-of-the-art term rewriting system for TVM

• Instructor
  University of Washington, Winter 2019
  Co-taught CSE 351, a ~200 person course on the hardware-software interface

Recognition

• Distinguished Paper, OOPSLA 2021, “Rewrite Rule Inference Using Equality Saturation”
• Distinguished Paper, POPL 2021, “egg: Fast and extensible equality saturation”
• Invited Post, SIGPLAN Blog 2021, “Fast and Extensible Equality Saturation with egg”
• Invited Speaker, ICCAD 2019, “Scaling Microfluidics to Complex, Dynamic Protocols”
• Invited Speaker, Biochips Summer School 2019
• Qualcomm Innovation Fellow, 2019
• NSF Graduate Research Fellowship Honorable Mention, 2018

Program Committee Service

• EGRAPHS 2023 workshop at PLDI 2023, Organizer, PC Chair
• PLDI 2023 SRC, PC member and judge
• ICFP 2022, external reviewer
• EGRAPHS 2022 workshop at PLDI 2022, Organizer, PC Chair

Other Service

• SIGPLAN-M mentor, 2021-present
• Co-organizer, CSE Pre-Application Review Service, 2020, 2021
  Helped create a program to provide support and feedback on applicants’ CV and statements, especially applicants from historically marginalized populations
• Co-chair, PhD student recruiting and visit days, 2019
• Member, Department chair selection committee, 2019
• Member, PhD student application reading committee, 2018-2021
  Read PhD applications and raised the profile of diverse, qualified applicants
• Co-chair, PhD student orientation, 2018

Publications

• Better Together: Unifying Datalog and Equality Saturation

  • Yihong Zhang
  • Remy Wang
  • Oliver Flatt
  • David Cao
  • Philip Zucker
  • Eli Rosenthal
  • Zachary Tatlock
  • Max Willsey
  PLDI 2023, June 2023
  Conditionally accepted

• Free Join: Unifying Worst-Case Optimal and Traditional Joins

  • Remy Wang
  • Max Willsey
  • Dan Suciu
  SIGMOD 2023, January 2023

• babble: Learning Better Abstractions with E-Graphs and Anti-Unification

  • David Cao
  • Rose Kunkel
  • Chandrakana Nandi
  • Max Willsey
  • Zachary Tatlock
  • Nadia Polikarpova
  POPL 2023, January 2023

• Small Proofs from Congruence Closure

  • Oliver Flatt
  • Sam Coward
  • Max Willsey
  • Zachary Tatlock
  • Pavel Panchekha
  FMCAD 2022, September 2022

• Virtualizing Existing Fluidic Programs

  • Caleb Winston
  • Max Willsey
  • Luis Ceze
  ACM JETC, August 2022

• Co-Optimization of Design and Fabrication Plans for Carpentry

  • Haisen Zhao
  • Max Willsey
  • Amy Zhu
  • Chandrakana Nandi
  • Zachary Tatlock
  • Justin Solomon
  • Adriana Schulz
  ACM TOG, March 2022

• Relational E-Matching

  • Yihong Zhang
  • Remy Wang
  • Max Willsey
  • Zachary Tatlock
  POPL 2022, January 2022

• Rewrite Rule Inference Using Equality Saturation

  • Chandrakana Nandi
  • Max Willsey
  • Amy Zhu
  • Remy Wang
  • Brett Saiki
  • Adam Anderson
  • Adriana Schulz
  • Dan Grossman
  • Zachary Tatlock
  OOPSLA 2021, August 2021
  Distinguished Paper

• Equality Saturation for Tensor Graph Superoptimization

  • Yichen Yang
  • Phitchaya Mangpo Phothilimthana
  • Remy Wang
  • Max Willsey
  • Sudip Roy
  • Jacques Pienaar
  MLSys 2021, January 2021

• egg: Fast and Extensible E-graphs

  • Max Willsey
  • Remy Wang
  • Oliver Flatt
  • Chandrakana Nandi
  • Zachary Tatlock
  • Pavel Panchekha
  POPL 2021, January 2021
  Distinguished Paper

• PurpleDrop: A Digital Microfluidics-based Platform for Hybrid Molecular-Electronics Applications

  • Ashley Stephenson
  • Max Willsey
  • Jeff McBride
  • Sharon Newman
  • Bichlien Nguyen
  • Chris Takahashi
  • Karin Strauss
  • Luis Ceze
  IEEE Micro 2020, July 2020

• Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

  • Chandrakana Nandi
  • Max Willsey
  • Adam Anderson
  • James Wilcox
  • Eva Darulova
  • Dan Grossman
  • Zachary Tatlock
  PLDI 2020, March 2020

• Scaling Microfluidics to Complex, Dynamic Protocols

  • Max Willsey
  • Ashley Stephenson
  • Chris Takahashi
  • Bichlien Nguyen
  • Karin Strauss
  • Luis Ceze
  ICCAD 2019, November 2019
  Invited Paper

• High Density DNA Data Storage Library via Dehydration with Digital Microfluidic Retrieval

  • Sharon Newman
  • Ashley Stephenson
  • Max Willsey
  • Bichlien Nguyen
  • Chris Takahashi
  • Karin Strauss
  • Luis Ceze
  Nature Communications, April 2019

• Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform

  • Max Willsey
  • Ashley Stephenson
  • Chris Takahashi
  • Pranav Vaid
  • Bichlien Nguyen
  • Michal Piszczek
  • Christine Betts
  • Sharon Newman
  • Sarang Joshi
  • Karin Strauss
  • Luis Ceze
  ASPLOS 2019, April 2019

• DNA Data Storage and Hybrid Molecular–Electronic Computing

  • Douglas Carmean
  • Luis Ceze
  • Georg Seelig
  • Callie Bee
  • Karin Strauss
  • Max Willsey
  Proceedings of the IEEE, January 2019
  Invited paper

• Iterative Search for Reconfigurable Accelerator Blocks with a Compiler in the Loop

  • Max Willsey
  • Vincent Lee
  • Alvin Cheung
  • Ras Bodik
  • Luis Ceze
  IEEE TCAD, October 2018

• Design and Implementation of Concurrent C0

  • Max Willsey
  • Rokhini Prabhu
  • 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