Design and Implementation of Concurrent C0. - Max Willsey; Rokhini Prabhu; Frank Pfenning (LINEARITY, 2016)

Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform. - Max Willsey; Ashley P. Stephenson; Chris Takahashi; Pranav Vaid; Bichlien H. Nguyen; Michal Piszczek; Christine Betts; Sharon Newman; Sarang Joshi; Karin Strauss; Luis Ceze (ASPLOS, 2019)

Scaling Microfluidics to Complex, Dynamic Protocols: Invited Paper. - Max Willsey; Ashley P. Stephenson; Chris Takahashi; Bichlien H. Nguyen; Karin Strauss; Luis Ceze (ICCAD, 2019)

Using E-Graphs for CAD Parameter Inference. - Chandrakana Nandi; Adam Anderson 004; Max Willsey; James R. Wilcox; Eva Darulova; Dan Grossman; Zachary Tatlock (CoRR, 2019)

DNA Data Storage and Hybrid Molecular-Electronic Computing. - Douglas M. Carmean; Luis Ceze; Georg Seelig; Kendall Stewart; Karin Strauss; Max Willsey (Proc. IEEE, 2019)

Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop. - Max Willsey; Vincent T. Lee; Alvin Cheung; Rastislav Bodík; Luis Ceze (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Synthesizing structured CAD models with equality saturation and inverse transformations. - Chandrakana Nandi; Max Willsey; Adam Anderson 004; James R. Wilcox; Eva Darulova; Dan Grossman; Zachary Tatlock (PLDI, 2020)

egg: Easy, Efficient, and Extensible E-graphs. - Max Willsey; Yisu Remy Wang; Oliver Flatt; Chandrakana Nandi; Pavel Panchekha; Zachary Tatlock (CoRR, 2020)

PurpleDrop: A Digital Microfluidics-Based Platform for Hybrid Molecular-Electronics Applications. - Ashley P. Stephenson; Max Willsey; Jeff McBride; Sharon Newman; Bichlien Nguyen; Chris Takahashi; Karin Strauss; Luis Ceze (IEEE Micro, 2020)

Equality Saturation for Tensor Graph Superoptimization. - Yichen Yang 008; Phitchaya Mangpo Phothilimthana; Yisu Remy Wang; Max Willsey; Sudip Roy 002; Jacques Pienaar (MLSys, 2021)

Equality Saturation for Tensor Graph Superoptimization. - Yichen Yang 008; Mangpo Phitchaya Phothilimtha; Yisu Remy Wang; Max Willsey; Sudip Roy 002; Jacques Pienaar (CoRR, 2021)

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material. - Haisen Zhao; Max Willsey; Amy Zhu; Chandrakana Nandi; Zachary Tatlock; Justin Solomon 001; Adriana Schulz (CoRR, 2021)

Rewrite rule inference using equality saturation. - Chandrakana Nandi; Max Willsey; Amy Zhu; Yisu Remy Wang; Brett Saiki; Adam Anderson 004; Adriana Schulz; Dan Grossman; Zachary Tatlock (Proc. ACM Program. Lang., 2021)

egg: Fast and extensible equality saturation. - Max Willsey; Chandrakana Nandi; Yisu Remy Wang; Oliver Flatt; Zachary Tatlock; Pavel Panchekha (Proc. ACM Program. Lang., 2021)

Practical and Flexible Equality Saturation. - Max Willsey (2021)

Small Proofs from Congruence Closure. - Oliver Flatt; Samuel Coward; Max Willsey; Zachary Tatlock; Pavel Panchekha (FMCAD, 2022)

Relational e-matching. - Yihong Zhang 004; Yisu Remy Wang; Max Willsey; Zachary Tatlock (Proc. ACM Program. Lang., 2022)

Co-Optimization of Design and Fabrication Plans for Carpentry. - Haisen Zhao; Max Willsey; Amy Zhu; Chandrakana Nandi; Zachary Tatlock; Justin Solomon 001; Adriana Schulz (ACM Trans. Graph., 2022)

Free Join: Unifying Worst-Case Optimal and Traditional Joins. - Yisu Remy Wang; Max Willsey; Dan Suciu (Proc. ACM Manag. Data, 2023)

Better Together: Unifying Datalog and Equality Saturation. - Yihong Zhang 004; Yisu Remy Wang; Oliver Flatt; David Cao; Philip Zucker; Eli Rosenthal; Zachary Tatlock; Max Willsey (Proc. ACM Program. Lang., 2023)

babble: Learning Better Abstractions with E-Graphs and Anti-unification. - David Cao; Rose Kunkel; Chandrakana Nandi; Max Willsey; Zachary Tatlock; Nadia Polikarpova (Proc. ACM Program. Lang., 2023)

Virtualizing Existing Fluidic Programs. - Caleb Winston; Max Willsey; Luis Ceze (ACM J. Emerg. Technol. Comput. Syst., 2023)

Equality Saturation Theory Exploration à la Carte. - Anjali Pal; Brett Saiki; Ryan Tjoa; Cynthia Richey; Amy Zhu; Oliver Flatt; Max Willsey; Zachary Tatlock; Chandrakana Nandi (Proc. ACM Program. Lang., 2023)

From Binary Join to Free Join. - Yisu Remy Wang; Max Willsey; Dan Suciu (SIGMOD Rec., 2024)

Database Theory in Action: Search-Based Program Optimization. - Yihong Zhang 004; Dan Suciu; Yisu Remy Wang; Max Willsey (ICDT, 2025)

Stream programs are monoid homomorphisms with state. - Tyler Hou; Michael Arntzenius; Max Willsey (CoRR, 2025)