Max Willsey

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 30

Top Topics

Iterative Search

Top Venues

Proc. ACM Program. Lang.

Proc. ACM Manag. Data

Publications

Yisu Remy Wang, Max Willsey, Dan Suciu
From Binary Join to Free Join. SIGMOD Rec. 53 (1) (2024)
Yisu Remy Wang, Max Willsey, Dan Suciu
Free Join: Unifying Worst-Case Optimal and Traditional Joins. Proc. ACM Manag. Data 1 (2) (2023)
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Better Together: Unifying Datalog and Equality Saturation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
Equality Saturation Theory Exploration à la Carte. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Caleb Winston, Max Willsey, Luis Ceze
Virtualizing Existing Fluidic Programs. ACM J. Emerg. Technol. Comput. Syst. 19 (3) (2023)
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Better Together: Unifying Datalog and Equality Saturation. CoRR (2023)
Yisu Remy Wang, Max Willsey, Dan Suciu
Free Join: Unifying Worst-Case Optimal and Traditional Joins. CoRR (2023)
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
babble: Learning Better Abstractions with E-Graphs and Anti-unification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry. ACM Trans. Graph. 41 (3) (2022)
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
Small Proofs from Congruence Closure. CoRR (2022)
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
babble: Learning Better Abstractions with E-Graphs and Anti-Unification. CoRR (2022)
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
Relational e-matching. Proc. ACM Program. Lang. 6 (POPL) (2022)
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
Small Proofs from Congruence Closure. FMCAD (2022)
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
Relational E-Matching. CoRR (2021)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material. CoRR (2021)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry. CoRR (2021)
Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar
Equality Saturation for Tensor Graph Superoptimization. MLSys (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite Rule Inference Using Equality Saturation. CoRR (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite rule inference using equality saturation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar
Equality Saturation for Tensor Graph Superoptimization. CoRR (2021)
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
egg: Fast and extensible equality saturation. Proc. ACM Program. Lang. 5 (POPL) (2021)
Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
egg: Easy, Efficient, and Extensible E-graphs. CoRR (2020)
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Synthesizing structured CAD models with equality saturation and inverse transformations. PLDI (2020)
Ashley P. Stephenson, Max Willsey, Jeff McBride, Sharon Newman, Bichlien Nguyen, Chris Takahashi, Karin Strauss, Luis Ceze
PurpleDrop: A Digital Microfluidics-Based Platform for Hybrid Molecular-Electronics Applications. IEEE Micro 40 (5) (2020)
Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Using E-Graphs for CAD Parameter Inference. CoRR (2019)
Max Willsey, Vincent T. Lee, Alvin Cheung, Rastislav Bodík, Luis Ceze
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (3) (2019)
Douglas M. Carmean, Luis Ceze, Georg Seelig, Kendall Stewart, Karin Strauss, Max Willsey
DNA Data Storage and Hybrid Molecular-Electronic Computing. Proc. IEEE 107 (1) (2019)
Max Willsey, Ashley P. Stephenson, Chris Takahashi, Bichlien H. Nguyen, Karin Strauss, Luis Ceze
Scaling Microfluidics to Complex, Dynamic Protocols: Invited Paper. ICCAD (2019)
Max Willsey, Ashley P. Stephenson, Chris Takahashi, Pranav Vaid, Bichlien H. Nguyen, Michal Piszczek, Christine Betts, Sharon Newman, Sarang Joshi, Karin Strauss, Luis Ceze
Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform. ASPLOS (2019)
Max Willsey, Rokhini Prabhu, Frank Pfenning
Design and Implementation of Concurrent C0. LINEARITY (2016)