Personal information

Activities

Education and qualifications (2)

University of Washington: Seattle, WA, US

2016 to present | PhD (Computer Science)
Education
Source: Self-asserted source
Max Willsey

Carnegie Mellon University: Pittsburgh, PA, US

2012 to 2016 | BS (School of Computer Science)
Education
Source: Self-asserted source
Max Willsey

Works (17)

Equality Saturation Theory Exploration à la Carte

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
Contributors: Anjali Pal; Brett Saiki; Ryan Tjoa; Cynthia Richey; Amy Zhu; Oliver Flatt; Max Willsey; Zachary Tatlock; Chandrakana Nandi
Source: check_circle
Crossref

Virtualizing Existing Fluidic Programs

ACM Journal on Emerging Technologies in Computing Systems
2023-07-31 | Journal article
Contributors: Caleb Winston; Max Willsey; Luis Ceze
Source: check_circle
Crossref

Free Join: Unifying Worst-Case Optimal and Traditional Joins

Proceedings of the ACM on Management of Data
2023-06-13 | Journal article
Contributors: Yisu Remy Wang; Max Willsey; Dan Suciu
Source: check_circle
Crossref

Better Together: Unifying Datalog and Equality Saturation

Proceedings of the ACM on Programming Languages
2023-06-06 | Journal article
Contributors: Yihong Zhang; Yisu Remy Wang; Oliver Flatt; David Cao; Philip Zucker; Eli Rosenthal; Zachary Tatlock; Max Willsey
Source: check_circle
Crossref

babble: Learning Better Abstractions with E-Graphs and Anti-unification

Proceedings of the ACM on Programming Languages
2023-01-09 | Journal article
Contributors: David Cao; Rose Kunkel; Chandrakana Nandi; Max Willsey; Zachary Tatlock; Nadia Polikarpova
Source: check_circle
Crossref

Relational e-matching

Proceedings of the ACM on Programming Languages
2022-01-16 | Journal article
Contributors: Yihong Zhang; Yisu Remy Wang; Max Willsey; Zachary Tatlock
Source: check_circle
Crossref

Equality Saturation for Tensor Graph Superoptimization

Proceedings of Machine Learning and Systems
2021 | Conference paper
Source: Self-asserted source
Max Willsey

Rewrite rule inference using equality saturation

Proceedings of the ACM on Programming Languages
2021-10-20 | Journal article
Contributors: Chandrakana Nandi; Max Willsey; Amy Zhu; Yisu Remy Wang; Brett Saiki; Adam Anderson; Adriana Schulz; Dan Grossman; Zachary Tatlock
Source: check_circle
Crossref

egg: Fast and Extensible Equality Saturation

Proc. ACM Program. Lang.
2021-01 | Journal article
Source: Self-asserted source
Max Willsey
grade
Preferred source (of 2)‎

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

IEEE Micro
2020 | Journal article
Source: Self-asserted source
Max Willsey

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
2020 | Conference paper
Part of ISBN: 9781450376136
Source: Self-asserted source
Max Willsey

Scaling Microfluidics to Complex, Dynamic Protocols

Proceedings of the International Conference on Computer-Aided Design 2019
2019-11 | Conference paper
Source: Self-asserted source
Max Willsey

High density DNA data storage library via dehydration with digital microfluidic retrieval

Nature Communications
2019-04 | Journal article
Source: Self-asserted source
Max Willsey

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

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems
2019-04 | Conference paper
Source: Self-asserted source
Max Willsey

Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2019-03 | Journal article
Contributors: Max Willsey; Vincent T. Lee; Alvin Cheung; Rastislav Bodik; Luis Ceze
Source: check_circle
Crossref

DNA Data Storage and Hybrid Molecular–Electronic Computing

Proceedings of the IEEE
2019-01 | Journal article
Contributors: Douglas Carmean; Luis Ceze; Georg Seelig; Kendall Stewart; Karin Strauss; Max Willsey
Source: check_circle
Crossref

Design and Implementation of Concurrent C0

Electronic Proceedings in Theoretical Computer Science
2017-01 | Journal article
Contributors: Max Willsey; Rokhini Prabhu; Frank Pfenning
Source: Self-asserted source
Max Willsey via Crossref Metadata Search