Max Willsey

According to our database, Max Willsey authored at least 23 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., October, 2023

Virtualizing Existing Fluidic Programs.

Caleb Winston, Max Willsey, Luis Ceze

ACM J. Emerg. Technol. Comput. Syst., July, 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., January, 2023

Better Together: Unifying Datalog and Equality Saturation.

Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey

Proc. ACM Program. Lang., 2023

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

Yisu Remy Wang, Max Willsey, Dan Suciu

Proc. ACM Manag. Data, 2023

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 Trans. Graph., 2022

Relational e-matching.

Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock

Proc. ACM Program. Lang., 2022

Small Proofs from Congruence Closure.

Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Practical and Flexible Equality Saturation.

Max Willsey

PhD thesis, 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

Rewrite rule inference using equality saturation.

Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock

Proc. ACM Program. Lang., 2021

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material.

Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz

CoRR, 2021

Equality Saturation for Tensor Graph Superoptimization.

Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar

CoRR, 2021

Equality Saturation for Tensor Graph Superoptimization.

Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar

Proceedings of Machine Learning and Systems 2021, 2021

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

egg: Easy, Efficient, and Extensible E-graphs.

Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock

CoRR, 2020

Synthesizing structured CAD models with equality saturation and inverse transformations.

Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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

DNA Data Storage and Hybrid Molecular-Electronic Computing.

Douglas M. Carmean, Luis Ceze, Georg Seelig, Kendall Stewart, Karin Strauss, Max Willsey

Proc. IEEE, 2019

Using E-Graphs for CAD Parameter Inference.

Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

CoRR, 2019

Scaling Microfluidics to Complex, Dynamic Protocols: Invited Paper.

Max Willsey, Ashley P. Stephenson, Chris Takahashi, Bichlien H. Nguyen, Karin Strauss, Luis Ceze

Proceedings of the International Conference on Computer-Aided Design, 2019

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

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2016

Design and Implementation of Concurrent C0.

Max Willsey, Rokhini Prabhu, Frank Pfenning

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016