Jahrim Gabriele Cesario
where else to find them
website:https://jahrim.github.io/
github:jahrim
bluesky:jahrim.bsky.social
linkedin:jahrim-gabriele-cesario-288a822b8
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- George Zakhour8 talks
- Pascal Weisenburger11 talks
- Thomas Kœhler4 talks
- Marcus Rossel3 talks
- Max Willsey12 talks
- Zachary Tatlock11 talks
| title | conference | date |
|---|---|---|
| Versioned E-Graphs | PLDI 2026 | 2026-06-15 |
Introduces versioned e-graphs that store multiple conditional equivalence sets in one structure, implements a versioned union-find with propagation and version… | ||
| Dis/Equality Graphs | POPL 2025 | 2025-01-19 |
The paper develops an abstract, extensible framework that proves e-graphs encode the smallest reflexive, symmetric, transitive, congruent closure and adds… | ||
| nothing matches | ||