Memoised Garbage Collection for Software Model Checking
Abstract elided by the publisher.
Related papers
- Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection APLAS 2000
- Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection TOPLAS 2018
- A Bounds Inference Method for Vector-Based Memoisation ICFP 1997
- Model checking copy phases of concurrent copying garbage collection with various memory models OOPSLA 2017
- Relaxing safely: verified on-the-fly garbage collection for x86-TSO PLDI 2015
- Exploring garbage collection with haswell hardware transactional memory ISMM 2014
- Prioritized garbage collection: explicit GC support for software caches OOPSLA 2016
- Reference object processing in on-the-fly garbage collection ISMM 2014