• Sign in
  • Sign up
conf.researchr.org / Glen Mével
  • ETAPS 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • PLDI 2022 profile
No Photo

Not registered as user

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
xMon 19 May 15:24
using conf.researchr.org (v1.69.0)
Support page
Sign Up