Alexandre Moine

6
Documents

Publications

Publications

Deposit thumbnail

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

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

ACM Transactions on Programming Languages and Systems (TOPLAS), 2025, ⟨10.1145/3716312⟩

Article dans une revue hal-04946590v1
Deposit thumbnail

Snapshottable Stores

Clément Allain , Basile Clément , Alexandre Moine , Gabriel Scherer

Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.338-369. ⟨10.1145/3674637⟩

Article dans une revue hal-04887939v1
Deposit thumbnail

DisLog: A Separation Logic for Disentanglement

Alexandre Moine , Sam Westrick , Stephanie Balzer

Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), ⟨10.1145/3632853⟩

Article dans une revue hal-04291381v1
Deposit thumbnail

A High-Level Separation Logic for Heap Space under Garbage Collection (Extended Version)

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

Proceedings of the ACM on Programming Languages, 2023, 7 (POPL), pp.718-747. ⟨10.1145/3571218⟩

Article dans une revue hal-03823056v2
Deposit thumbnail

Specification and Verification of a Transient Stack

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

CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩

Communication dans un congrès hal-03472028v1