
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⟩
Article dans une revue
hal-04946590
v1
|
|
Snapshottable StoresProceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.338-369. ⟨10.1145/3674637⟩
Article dans une revue
hal-04887939
v1
|
|
DisLog: A Separation Logic for DisentanglementProceedings of the ACM on Programming Languages, 2024, 8 (POPL), ⟨10.1145/3632853⟩
Article dans une revue
hal-04291381
v1
|
|
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⟩
Article dans une revue
hal-03823056
v2
|
|
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⟩
Communication dans un congrès
hal-03472028
v1
|
|
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⟩
Thèse
tel-05039940
v1
|
Chargement...
Chargement...