Sotabase

Career

· Researcher, Columbia University - Software Systems Laboratory (SSL)2024–
· Columbia University Software Systems Laboratory (SSL)

Publications (31)

egg: Fast and extensible equality saturation
Proc. ACM Program. Lang. · 2020
243
cited
High density DNA data storage library via dehydration with digital microfluidic retrieval
Nature Communications · 2019
127
cited
Equality Saturation for Tensor Graph Superoptimization
Conference on Machine Learning and Systems · 2021
106
cited
Synthesizing structured CAD models with equality saturation and inverse transformations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
79
cited
babble: Learning Better Abstractions with E-Graphs and Anti-unification
Proc. ACM Program. Lang. · 2022
54
cited
Rewrite rule inference using equality saturation
Proc. ACM Program. Lang. · 2021
50
cited
DNA Data Storage and Hybrid Molecular–Electronic Computing
Proceedings of the IEEE · 2019
48
cited
Better Together: Unifying Datalog and Equality Saturation
Proceedings of the ACM on Programming Languages · 2023
45
cited
Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform
International Conference on Architectural Support for Programming Languages and Operating Systems · 2019
40
cited
Free Join: Unifying Worst-Case Optimal and Traditional Joins
Proc. ACM Manag. Data · 2023
34
cited
Relational e-matching
Proc. ACM Program. Lang. · 2021
22
cited
Design and Implementation of Concurrent C0
LINEARITY · 2017
20
cited
Small Proofs from Congruence Closure
Formal Methods in Computer-Aided Design · 2022
17
cited
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2019
16
cited
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Artifact Digital Object Group · 2020
14
cited
Co-Optimization of Design and Fabrication Plans for Carpentry
ACM Transactions on Graphics · 2021
11
cited
PurpleDrop: A Digital Microfluidics-Based Platform for Hybrid Molecular-Electronics Applications
IEEE Micro · 2020
6
cited
egg: Easy, Efficient, and Extensible E-graphs
arXiv.org · 2020
4
cited
From Binary Join to Free Join
SIGMOD record · 2024
4
cited
egg: Fast and Extensible E-graphs
2020
2
cited
Sotabase
Max Willsey | Researcher Profile | Sotabase | Sotabase