Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Glen Mével
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2020 profile
ICFP 2021 profile
PLDI 2022 profile
Not registered as user yet
Name:
Glen Mével
Contributions
2022
PLDI
Author of (ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model within the SIGPLAN Track-track
2021
ICFP
Author of Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model within the Research Papers-track
2020
ICFP
Author of Cosmo: A Concurrent Separation Logic for Multicore OCaml within the ICFP Program-track
2019
ESOP
Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track
Share
x
Thu 21 Nov 11:43