We stand with Ukraine  

Glen Mével

Orcid: 0000-0002-1816-7605

According to our database1, Glen Mével authored at least 5 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Thunks and Debits in Separation Logic with Time Credits.
[BibTeX]
[DOI]
François Pottier
,
Armaël Guéneau
,
Jacques-Henri Jourdan
,
Glen Mével
Proc. ACM Program. Lang., January, 2024

2022
A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml. (Une logique de programme mécanisée pour les programmes concurrents dans le modèle mémoire faible de Multicore OCaml).
[BibTeX]
[DOI]
Glen Mével
PhD thesis, 2022

2021
Formal verification of a concurrent bounded queue in a weak memory model.
[BibTeX]
[DOI]
Glen Mével
,
Jacques-Henri Jourdan
Proc. ACM Program. Lang., 2021

2020
Cosmo: a concurrent separation logic for multicore OCaml.
[BibTeX]
[DOI]
Glen Mével
,
Jacques-Henri Jourdan
,
François Pottier
Proc. ACM Program. Lang., 2020

2019
Time Credits and Time Receipts in Iris.
[BibTeX]
[DOI]
Glen Mével
,
Jacques-Henri Jourdan
,
François Pottier
Proceedings of the Programming Languages and Systems, 2019


  Loading...