Memory Management in Concurrent Algorithms
Abstract elided by the publisher.
Related papers
- Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS CAV 2019
- Concurrent Immediate Reference Counting PLDI 2024
- Separation logic and concurrent resource management ISMM 2007
- Iron: managing obligations in higher-order concurrent separation logic POPL 2019
- Improving efficacy of internal binary search trees using local recovery PPoPP 2016
- Efficient nursery sizing for managed languages on multi-core processors with shared caches CGO 2020
- A Methodology for Implementing Highly Concurrent Data Structures PPoPP 1990
- A Methodology for Implementing Highly Concurrent Objects TOPLAS 1993