Sotabase

Career

· Researcher, University of Washington, Software Systems Laboratory (SSL)

Publications (19)

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
Better Together: Unifying Datalog and Equality Saturation
Proceedings of the ACM on Programming Languages · 2023
45
cited
Relational e-matching
Proc. ACM Program. Lang. · 2021
22
cited
Combining Precision Tuning and Rewriting
IEEE Symposium on Computer Arithmetic · 2021
17
cited
Co-Optimization of Design and Fabrication Plans for Carpentry
ACM Transactions on Graphics · 2021
11
cited
Computational Illusion Knitting
ACM Transactions on Graphics · 2024
10
cited
Exploring Self-Embedded Knitting Programs with Twine
El Farmaceutico · 2023
5
cited
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface
arXiv.org · 2022
4
cited
A Roadmap Towards Parallel Printing for Desktop 3D Printers
2021
1
cited
Scaling Program Synthesis Based Technology Mapping with Equality Saturation
arXiv.org · 2024
1
cited
Sinking Point: Dynamic Precision Tracking for Floating-Point
Proceedings of the Conference for Next Generation Arithmetic 2019 · 2019
1
cited
ADA, the Center for Applications Driving Architectures: Accomplishments and Vision Forward
Design Automation Conference · 2022
Artifact for "Relational E-matching"
Artifact Digital Object Group · 2022
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material
arXiv.org · 2021
Session details: Dynamic optimization
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2014
Sotabase
Zach Tatlock | Researcher Profile | Sotabase | Sotabase