Alexandre Moine
6
Documents
Identifiants chercheurs
Publications
Publications
|
|
Will it Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage CollectionACM Transactions on Programming Languages and Systems (TOPLAS), 2025, ⟨10.1145/3716312⟩ |
|
|
Snapshottable StoresProceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.338-369. ⟨10.1145/3674637⟩ |
|
|
DisLog: A Separation Logic for DisentanglementProceedings of the ACM on Programming Languages, 2024, 8 (POPL), ⟨10.1145/3632853⟩ |
|
|
A High-Level Separation Logic for Heap Space under Garbage Collection (Extended Version)Proceedings of the ACM on Programming Languages, 2023, 7 (POPL), pp.718-747. ⟨10.1145/3571218⟩ |
|
|
Specification and Verification of a Transient StackCPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩ |
|
|
Formal verification of heap space bounds under garbage collection : a space tale from the starsProgramming Languages [cs.PL]. Université Paris Cité, 2024. English. ⟨NNT : 2024UNIP7112⟩ |
Chargement...
Chargement...