Yihong Zhang
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2022–2024
on a stage with
all 14 in the filters
who talks about the same things
- Xinyu Wang14 talks
- Yisu Remy Wang5 talks
- Max Willsey12 talks
- Rui Dong6 talks
- Zachary Tatlock11 talks
- Yingfei Xiong9 talks
| title | conference | date |
|---|---|---|
| Rewrite System Showdown: Stochastic Search vs. EqSat | EGRAPHS 2026 | 2026-06-15 |
Compares stochastic search (128-thread implementation) to equality saturation (egg/egglog style) across five benchmarks: matrix-chain (optimal known… | ||
| Efficient Bottom-Up Synthesis for Programs with Local Variables | POPL 2024 | 2024-01-14 |
Introduces lifted interpretation, an algorithm that evaluates all grammar programs simultaneously to enumerate binding contexts and collapse equivalent… | ||
| 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… | ||
| nothing matches | ||