A High-Level Separation Logic for Heap Space under Garbage Collection
Abstract
International audience
Related papers
- A separation logic for heap space under garbage collection POPL 2022
- Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection TOPLAS 2025
- Schism: fragmentation-tolerant real-time garbage collection PLDI 2010
- Concurrent Garbage Collection Using Program Slices on Multithreaded Processors ISMM 2000
- Beltway: Getting Around Garbage Collection Gridlock PLDI 2002
- Bottom-Up Synthesis of Memory Mutations with Separation Logic ECOOP 2025
- Live heap space analysis for languages with garbage collection ISMM 2009
- Garbage Collection for Mostly Serialized Heaps ISMM 2024