Thomas Kœhler
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2024–2026
on a stage with
all 12 in the filters
who talks about the same things
- Rudi Schneider3 talks
- Marcus Rossel3 talks
- Andrés Goens6 talks
- Michel Steuwer17 talks
- Max Willsey12 talks
- Oliver Flatt4 talks
| title | conference | date |
|---|---|---|
| Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by(…) | POPL 2026 | 2026-01-11 |
Presents a Lean tactic that translates theorems into conditional rewrite rules, runs equality saturation with egg on an e-graphs representation, and… | ||
| Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs | PLDI 2025 | 2025-06-16 |
E-graphs gain native support for bound variables by making e-classes functions over parameterized e-classes (slots) so alpha-equivalent terms share a single… | ||
| Interactive Source-to-Source Optimizations Validated using Static Resource Analysis | SOAP 2024 | 2024-06-25 |
OptiTrust is an interactive source-to-source optimizer for C that uses a lightweight Separation-Logic-based static resource analysis to verify each… | ||
| Guided Equality Saturation | POPL 2024 | 2024-01-14 |
Guided equality saturation splits a hard e-graph search into sequences of smaller equality-saturation runs guided by human-provided intermediate sketches… | ||
| nothing matches | ||