Alexandre Moine

According to our database, Alexandre Moine authored at least 8 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs.

Alexandre Moine, Sam Westrick, Joseph Tassarotti

Proc. ACM Program. Lang., 2026

TypeDis: A Type System for Disentanglement.

Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick

Proc. ACM Program. Lang., 2026

2025

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.

Alexandre Moine, Arthur Charguéraud, François Pottier

ACM Trans. Program. Lang. Syst., March, 2025

2024

DisLog: A Separation Logic for Disentanglement.

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).

Alexandre Moine

PhD thesis, 2024

Snapshottable Stores.

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.

Alexandre Moine, Arthur Charguéraud, François Pottier

Proc. ACM Program. Lang., January, 2023

2022

Specification and verification of a transient stack.

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