Yisu Remy Wang
where else to find them
what they talk about
where they keep going back
- POPL2 editions2021–2022
all 4 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Max Willsey12 talks
- Zachary Tatlock11 talks
- Oliver Flatt4 talks
- Yihong Zhang4 talks
- David Cao3 talks
- Chandrakana Nandi9 talks
| title | conference | date |
|---|---|---|
| Destructive E-Graph Rewrites | EGRAPHS 2025 | 2025-06-16 |
Implements destructive rewrites in egg by e‑matching each rule left hand side and deleting matching right hand side enodes rather than adding them, requiring… | ||
| 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… | ||
| 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 | ||