Verifying Concurrent Memory Reclamation Algorithms with Grace
No abstract available.
Related papers
- Safe Deferred Memory Reclamation with Types ESOP 2019
- Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic PLDI 2025
- Decoupling lock-free data structures from memory reclamation for static analysis POPL 2019
- Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic OOPSLA 2023
- Concurrent Immediate Reference Counting PLDI 2024
- Harnessing epoch-based reclamation for efficient range queries PPoPP 2018
- Turning manual concurrent memory reclamation into automatic reference counting PLDI 2022
- Fast non-intrusive memory reclamation for highly-concurrent data structures ISMM 2016