| egg: Fast and Extensible Equality Saturation M Willsey, C Nandi, YR Wang, O Flatt, Z Tatlock, P Panchekha Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | 215 | 2021 |
| High density DNA data storage library via dehydration with digital microfluidic retrieval S Newman, AP Stephenson, M Willsey, BH Nguyen, CN Takahashi, ... Nature communications 10 (1), 1-6, 2019 | 159 | 2019 |
| Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ... PLDI, 0 | 102* | |
| Equality Saturation for Tensor Graph Superoptimization Y Yang, PM Phothilimtha, YR Wang, M Willsey, S Roy, J Pienaar Proceedings of Machine Learning and Systems 3, 2021 | 82 | 2021 |
| DNA Data Storage and Hybrid Molecular-Electronic Computing D Carmean, L Ceze, G Seelig, K Stewart, K Strauss, M Willsey Proceedings of the IEEE, 2018 | 79 | 2018 |
| Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform M Willsey, AP Stephenson, C Takahashi, P Vaid, BH Nguyen, M Piszczek, ... Proceedings of the Twenty-Third International Conference on Architectural …, 2019 | 52 | 2019 |
| Rewrite Rule Inference Using Equality Saturation C Nandi, M Willsey, A Zhu, YR Wang, B Saiki, A Anderson, A Schulz, ... Proc. ACM Program. Lang. 5 (OOPSLA), 2010 | 52* | 2010 |
| babble: Learning Better Abstractions with E-Graphs and Anti-Unification D Cao, R Kunkel, C Nandi, M Willsey, Z Tatlock, N Polikarpova Proceedings of the ACM on Programming Languages 7 (POPL), 396-424, 2023 | 41 | 2023 |
| Design and Implementation of Concurrent C0 M Willsey, R Prabhu, F Pfenning Proceedings of the 4th International Workshop on Linearity (LINEARITY’16), 2016 | 34 | 2016 |
| Better Together: Unifying Datalog and Equality Saturation Y Zhang, YR Wang, O Flatt, D Cao, P Zucker, E Rosenthal, Z Tatlock, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 468-492, 2023 | 22 | 2023 |
| Iterative Search for Reconfigurable Accelerator Blocks with a Compiler in the Loop M Willsey, VT Lee, A Cheung, R Bodík, L Ceze IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019 | 22 | 2019 |
| Free Join: Unifying Worst-Cast Optimal and Traditional Joins YR Wang, M Willsey, D Suciu arXiv preprint arXiv:2301.10841, 2023 | 18 | 2023 |
| Small Proofs from Congruence Closure O Flatt, S Coward, M Willsey, Z Tatlock, P Panchekha 2022 Formal Methods in Computer-Aided Design (FMCAD), 75-83, 2022 | 15 | 2022 |
| PurpleDrop: A Digital Microfluidics-Based Platform for Hybrid Molecular-Electronics Applications A Stephenson, M Willsey, J McBride, S Newman, B Nguyen, C Takahashi, ... IEEE Micro 40 (5), 76-86, 2020 | 14 | 2020 |
| Co-Optimization of Design and Fabrication Plans for Carpentry H Zhao, M Willsey, A Zhu, C Nandi, Z Tatlock, J Solomon, A Schulz ACM Transactions on Graphics (TOG) 41 (3), 1-13, 2022 | 10 | 2022 |
| Equality Saturation Theory Exploration ŕ la Carte A Pal, B Saiki, R Tjoa, C Richey, A Zhu, O Flatt, M Willsey, Z Tatlock, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1034-1062, 2023 | 4 | 2023 |
| Relational e-matching Y Zhang, YR Wang, M Willsey, Z Tatlock Proceedings of the ACM on Programming Languages 6 (POPL), 1-22, 2022 | 3 | 2022 |
| Scaling Microfluidics to Complex, Dynamic Protocols M Willsey, A Stephenson, C Takahashi, B Nguyen, K Strauss, L Ceze 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-6, 2019 | 3 | 2019 |
| From Binary Join to Free Join Y Remy Wang, M Willsey, D Suciu ACM SIGMOD Record 53 (1), 25-31, 2024 | 2 | 2024 |
| Practical and Flexible Equality Saturation M Willsey University of Washington, 2021 | 1 | 2021 |
Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
