Denis Carnier
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Steven Keuchel5 talks
- Thomas Van Strydonck5 talks
- Dominique Devriese17 talks
- François Pottier14 talks
- Leo Stefanesco6 talks
- Kenji Maillard11 talks
| title | conference | date |
|---|---|---|
| Cerisier: A Program Logic for Attestation in a Capability Machine | PLDI 2026 | 2026-06-15 |
Cerisier presents a program logic that formalizes CHERI-TrEE support for enclaves on a capability machine and claims modular, end-to-end proofs for systems… | ||
| Type Inference Logics | OOPSLA 2024 | 2024-10-20 |
Shows how to verify practical, imperative-style, constraint-based type inference that emits elaborated terms by separating constraint generation (implemented… | ||
| Student Research Competition Final Presentations | ICFP 2022 | 2022-09-11 |
Session collects six short student projects with concrete artifacts and techniques: HenBlocks: structured editing for Coq is a client‑side web app (GS‑Coq… | ||
| nothing matches | ||