Dorian Lesbre
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2025
on a stage with
who talks about the same things
- Matthieu Lemerre8 talks
- Kenji Maillard11 talks
- Nada Amin26 talks
- Leo Stefanesco6 talks
- François Pottier14 talks
- Nicolas Tabareau14 talks
| title | conference | date |
|---|---|---|
| Relational Abstractions Based on Labeled Union-Find | PLDI 2025 | 2025-06-16 |
Introduces a data structure that extends union‑find by storing group‑valued labels on parent edges to represent injective relations such as y = ax + b… | ||
| WiP: Labeled Union-Find for Constraint Factorization | NSAD 2024 | 2024-10-22 |
A new data structure called labeled union-find stores group-structured labels on union‑find edges and exposes find/union/get operations with path compression… | ||
| Compiling with Abstract Interpretation | PLDI 2024 | 2024-06-24 |
Turns abstract interpreters into compilers by representing domain interfaces as free algebra domains and encoding small compilation passes as domain functors… | ||
| nothing matches | ||