We stand with Ukraine  

Alexandre Moine

Orcid: 0000-0002-2169-1977

Affiliations:
  • New York University, NY, USA
  • Inria Paris, France (PhD 2024)


According to our database1, Alexandre Moine authored at least 6 papers between 2022 and 2025.

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

2025
Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.
[BibTeX]
[DOI]
Alexandre Moine
,
Arthur Charguéraud
,
François Pottier
ACM Trans. Program. Lang. Syst., March, 2025

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

Formal verification of heap space bounds under garbage collection: a space tale from the stars. (Vérification formelle de bornes en espace de tas en présence d'un glaneur de cellules: un conte spatial venu des étoiles).
[BibTeX]
[DOI]
Alexandre Moine
PhD thesis, 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...