A High-Level Separation Logic for Heap Space under Garbage Collection A Moine, A Charguéraud, F Pottier Proceedings of the ACM on Programming Languages 7 (POPL), 2023 | 13 | 2023 |
DisLog: A Separation Logic for Disentanglement A Moine, S Westrick, S Balzer Proceedings of the ACM on Programming Languages 8 (POPL), 302-331, 2024 | 3 | 2024 |
Specification and Verification of a Transient Stack A Moine, A Charguéraud, F Pottier International Conference on Certified Programs and Proofs (CPP), 2022 | 3 | 2022 |
Snapshottable Stores C Allain, B Clément, A Moine, G Scherer Proceedings of the ACM on Programming Languages 8 (ICFP), 338-369, 2024 | | 2024 |
Détection de définitions OCaml similaires (ou comment ne plus voir double à dos de chameau) A Moine, Y Régis-Gianas Journées Francophones des Langages Applicatifs (JFLA), 144, 2020 | | 2020 |
Will it Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection with Separation Logic A MOINE, A CHARGUÉRAUD, F POTTIER | | |