Max Willsey

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
egg: Fast and extensible equality saturation.
Proc. ACM Program. Lang., 2021

Equality Saturation for Tensor Graph Superoptimization.
CoRR, 2021

2020
PurpleDrop: A Digital Microfluidics-Based Platform for Hybrid Molecular-Electronics Applications.
IEEE Micro, 2020

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

Synthesizing structured CAD models with equality saturation and inverse transformations.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

DNA Data Storage and Hybrid Molecular-Electronic Computing.
Proc. IEEE, 2019

Using E-Graphs for CAD Parameter Inference.
CoRR, 2019

Scaling Microfluidics to Complex, Dynamic Protocols: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019

Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2016
Design and Implementation of Concurrent C0.
Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016


  Loading...