Oliver Flatt
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Max Willsey12 talks
- Yisu Remy Wang5 talks
- Zachary Tatlock11 talks
- Brett Saiki3 talks
- Amy Zhu3 talks
- Chandrakana Nandi9 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… | ||
| 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… | ||
| 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 | ||