Verifying Reference Counting Implementations
No abstract available.
Related papers
- Concurrent deferred reference counting with constant-time overhead PLDI 2021
- Down for the count? Getting reference counting back in the ring ISMM 2012
- The space cost of lazy reference counting POPL 2004
- Managing Reentrant Structures Using Reference Counts TOPLAS 1980
- Turning manual concurrent memory reclamation into automatic reference counting PLDI 2022
- Diffusion Tree Restructuring for Indirect Reference Counting ISMM 2000
- Perceus: garbage free reference counting with reuse PLDI 2021
- Wait-Free Weak Reference Counting ISMM 2023