According to our database1, Max Willsey authored at least 11 papers between 2016 and 2021.
Legend:Book In proceedings Article PhD thesis Other
PurpleDrop: A Digital Microfluidics-Based Platform for Hybrid Molecular-Electronics Applications.
IEEE Micro, 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
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019
Proceedings of the International Conference on Computer-Aided Design, 2019
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019
Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016