Jean-Christophe Léchenet
where else to find them
no profile links on file
what they talk about
where they keep going back
- CPP2 editions2023–2026
on a stage with
- Benjamin Gregoireonce
- Enrico Tassionce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Mechanized Dominator Tree Certification | CPP 2026 | 2026-01-12 |
Claims a verified validator of fast dominator computation: an unverified implementation (Lengauer–Tarjan variant instrumented to emit a numbering) plus a low… | ||
| Practical and sound equality tests, automatically | CPP 2023 | 2023-01-16 |
A tool called feqb synthesizes sound equality tests and correctness proofs for Coq inductive types used with the Mathematical Components library, handling very… | ||
| nothing matches | ||