Types for Safe Locking
Abstract elided by the publisher.
Related papers
- Type-based safe resource deallocation for shared-memory concurrency OOPSLA 2012
- Types for safe locking: Static race detection for Java TOPLAS 2006
- Ownership types for safe programming: preventing data races and deadlocks OOPSLA 2002
- Pointer life cycle types for lock-free data structures with memory reclamation POPL 2020
- Adaptive lock-free maps: purely-functional to scalable ICFP 2015
- Relaxed Linear References for Lock-free Data Structures ECOOP 2017
- Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types TOPLAS 2017
- Safe Deferred Memory Reclamation with Types ESOP 2019