We stand with Ukraine  

Alexandre Moine

Orcid: 0000-0002-2169-1977

Affiliations:
  • Inria Paris, France


According to our database1, Alexandre Moine authored at least 4 papers between 2022 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
DisLog: A Separation Logic for Disentanglement.
[BibTeX]
[DOI]
Alexandre Moine
,
Sam Westrick
,
Stephanie Balzer
Proc. ACM Program. Lang., January, 2024

Snapshottable Stores.
[BibTeX]
[DOI]
Clément Allain
,
Basile Clément
,
Alexandre Moine
,
Gabriel Scherer
Proc. ACM Program. Lang., 2024

2023
A High-Level Separation Logic for Heap Space under Garbage Collection.
[BibTeX]
[DOI]
Alexandre Moine
,
Arthur Charguéraud
,
François Pottier
Proc. ACM Program. Lang., January, 2023

2022
Specification and verification of a transient stack.
[BibTeX]
[DOI]
Alexandre Moine
,
Arthur Charguéraud
,
François Pottier
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022


  Loading...