Obserwuj
Max Willsey
Max Willsey
UC Berkeley
Zweryfikowany adres z eecs.berkeley.edu - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
2382021
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
1642019
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ...
PLDI, 0
108*
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
952021
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
822018
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
54*2010
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
522019
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
422023
Design and Implementation of Concurrent C0
M Willsey, R Prabhu, F Pfenning
Proceedings of the 4th International Workshop on Linearity (LINEARITY’16), 2016
332016
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
322023
Free Join: Unifying Worst-Cast Optimal and Traditional Joins
YR Wang, M Willsey, D Suciu
arXiv preprint arXiv:2301.10841, 2023
252023
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
212019
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
172022
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
142020
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
112022
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
82023
Relational e-matching
Y Zhang, YR Wang, M Willsey, Z Tatlock
Proceedings of the ACM on Programming Languages 6 (POPL), 1-22, 2022
32022
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
32019
From Binary Join to Free Join
Y Remy Wang, M Willsey, D Suciu
ACM SIGMOD Record 53 (1), 25-31, 2024
22024
Practical and Flexible Equality Saturation
M Willsey
University of Washington, 2021
12021
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20