Max Willsey

According to our database, Max Willsey authored at least 11 papers between 2016 and 2021.

Collaborative distances:

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

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

Equality Saturation for Tensor Graph Superoptimization.

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

CoRR, 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