Max Willsey

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