Glen Mével -

Not registered as user yet

Name:Glen Mével

Contributions

ICFP 2021	Author of Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model within the Research Papers-track
ICFP 2020	Author of Cosmo: A Concurrent Separation Logic for Multicore OCaml within the ICFP Program-track
ESOP 2019	Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track