9 papers:
- OOPSLA-2015-CohenP #automation #data type #memory management
- Automatic memory reclamation for lock-free data structures (NC, EP), pp. 260–279.
- VLDB-2014-ConwayAAH #automation #distributed #named #programming
- Edelweiss: Automatic Storage Reclamation for Distributed Programming (NC, PA, EA, JMH), pp. 481–492.
- ESOP-2013-GotsmanRY #algorithm #concurrent #memory management #verification
- Verifying Concurrent Memory Reclamation Algorithms with Grace (AG, NR, HY), pp. 249–269.
- PLDI-2006-GuyerMF #automation #named #static analysis
- Free-Me: a static analysis for automatic individual object reclamation (SZG, KSM, DF), pp. 364–375.
- DAC-2005-JejurikarG #embedded #realtime #scheduling
- Dynamic slack reclamation with procrastination scheduling in real-time embedded systems (RJ, RKG), pp. 111–116.
- FPCA-1993-Hicks #case study #experience
- Experiences with Compiler-Directed Storage Reclamation (JH), pp. 95–105.
- PLDI-1989-Goldberg #distributed
- Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme (BG), pp. 313–321.
- OOPSLA-1988-UngarJ #policy
- Tenuring Policies for Generation-Based Storage Reclamation (DU, FJ), pp. 1–17.
- SIGMOD-1987-Butler #database #object-oriented
- Storage Reclamation in Object Oriented Database Systems (MHB), pp. 410–425.