Glen Mével
where else to find them
no profile links on file
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
- Jacques-Henri Jourdan4 talks
- François Pottier14 talks
- Armaël Guéneau7 talks
- Simon Spies8 talks
- Alexandre Moine8 talks
- Lars Birkedal35 talks
| title | conference | date |
|---|---|---|
| Thunks and Debits in Separation Logic with Time Credits | POPL 2024 | 2024-01-14 |
Machine‑checked reconstruction of Okasaki’s debit reasoning implemented in Iris$, with proofs and reusable artifacts (Zenodo/GitLab). Formalizes the missing… | ||
| Cosmo: A Concurrent Separation Logic for Multicore Ocaml | ICFP 2020 | 2020-08-23 |
Cosmo provides a separation logic for Multicore OCaml that exposes the weak memory model yet lets you verify familiar locks: it instantiates Iris and is… | ||
| nothing matches | ||