Matthieu Lemerre
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2025
- SAS2 editions2020–2023
all 6 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Dorian Lesbre3 talks
- Nicolas Tabareau14 talks
- Kenji Maillard11 talks
- Roland Meyer9 talks
- Éric Tanter12 talks
- Théo Winterhalter14 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… | ||
| A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code | OOPSLA 2024 | 2024-10-20 |
A dependent nominal physical type system called Typed C models contiguous memory regions with nesting, unions and mild update semantics to express pointer… | ||
| 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… | ||
| Reverse Template Processing using Abstract Interpretation | SAS 2023 | 2023-10-22 |
A reverse-template engine converts templates into an ambiguous parser and an abstract semantics that returns all input databases that can produce a given… | ||
| SSA Translation Is an Abstract Interpretation | POPL 2023 | 2023-01-15 |
Claim: SSA translation is an abstract interpretation and can be implemented as a simple dataflow analysis that is sound and complete, avoids dominance-based… | ||
| Lightweight Shape Analysis based on Physical Types | VMCAI 2022 | 2022-01-16 |
Defines a new abstract-interpretation memory analysis that summarizes the heap with physical types encoding byte-level layouts and pairs that with a focusing… | ||
| Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries | SAS 2020 | 2020-11-18 |
Builds context-sensitive procedure summaries as relational transformations over separation logic (pairs of input/output heap descriptions h# and t#)… | ||
| nothing matches | ||