Verifying the Safety of a Practical Concurrent Garbage Collector
Abstract elided by the publisher.
Related papers
- Relaxing safely: verified on-the-fly garbage collection for x86-TSO PLDI 2015
- A general framework for certifying garbage collectors and their mutators PLDI 2007
- Automated verification of practical garbage collectors POPL 2009
- CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors PLDI 2007
- Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages Haskell 2024
- Fully concurrent garbage collection of actors on many-core machines OOPSLA 2013
- Atomicity refinement for verified compilation PLDI 2014
- Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages PLDI 2026