Thomas Koehler
where else to find them
no profile links on file
what they talk about
where they keep going back
- EGRAPHS2 editions2024–2025
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Machine Learning Guided Equality Saturation | EGRAPHS 2025 | 2025-06-16 |
Equality saturation guides get generated by a small autoregressive tree transformer that decodes trees node‑by‑node with two cross‑attention encoders and… | ||
| Slotted E-Graphs | EGRAPHS 2024 | 2024-06-24 |
Implementation builds a new e-graph variant where e-classes are parameterized e-classes that accept slots for bound names, so renaming or removing binders… | ||
| Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High... | ICFP 2020 | 2020-08-23 |
Functional languages RISE and ELEVATE rewrite high-level data-parallel programs into optimized low-level code, expressing tiling, fusion and loop-permutation… | ||
| nothing matches | ||