Zachary Tatlock
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
all 4 in the filters
on a stage with
all 19 in the filters
who talks about the same things
- Max Willsey12 talks
- Yisu Remy Wang5 talks
- Oliver Flatt4 talks
- Chandrakana Nandi9 talks
- Pavel Panchekha8 talks
- David Cao3 talks
| title | conference | date |
|---|---|---|
| Equality Saturation Theory Exploration à la Carte | OOPSLA 2023 | 2023-10-23 |
Enumo is a domain-specific language for programmable theory exploration that gives users small, composable operators to guide automatic inference of rewrite… | ||
| Exploring Self-Embedded Knitting Programs with Twine | FARM 2023 | 2023-09-08 |
Project designs a color-based language called twine language that encodes knitting instructions directly into fabric, using industrial knitting machines… | ||
| Better Together: Unifying Datalog and Equality Saturation | PLDI 2023 | 2023-06-17 |
egglog claims a single system that combines Datalog-style declarative analyses with equality-saturation rewriting by introducing functional dependency repair… | ||
| babble: Learning Better Abstractions with E-Graphs and Anti-unification | POPL 2023 | 2023-01-15 |
Presents Library Learning Modulo Theory (LLMT) implemented as the tool babble, which uses e-graphs plus a new e-graph anti-unification algorithm and targeted… | ||
| Relational E-matching | POPL 2022 | 2022-01-16 |
Transforms e-graphs into relational tables and patterns into conjunctive queries, then runs worst-case optimal joins (generic join) to guarantee asymptotic… | ||
| Rewrite Rule Inference Using Equality Saturation | OOPSLA 2021 | 2021-10-17 |
Describes a system called Ruler that uses equality saturation over e-graphs to infer rewrite rules automatically, implemented in Rust on the egg library… | ||
| egg: Fast and Extensible Equality Saturation | POPL 2021 | 2021-01-17 |
Equality saturation is implemented as the egg Rust library, which applies rewrites into an e-graph and then runs a single rebuild once per iteration rather… | ||
| nothing matches | ||