Glen Mével

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Biometric Identification

Predicate Logic

Iris Localization

Concurrent Programming

Top Venues

Proc. ACM Program. Lang.

Publications

François Pottier, Armaël Guéneau, Jacques-Henri Jourdan, Glen Mével
Thunks and Debits in Separation Logic with Time Credits. Proc. ACM Program. Lang. 8 (POPL) (2024)
Glen Mével, Jacques-Henri Jourdan
Formal verification of a concurrent bounded queue in a weak memory model. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Glen Mével, Jacques-Henri Jourdan, François Pottier
Cosmo: a concurrent separation logic for multicore OCaml. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Glen Mével, Jacques-Henri Jourdan, François Pottier
Time Credits and Time Receipts in Iris. ESOP (2019)