An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
No abstract available.
Related papers
- Bundling linked data structures for linearizable range queries PPoPP 2022
- OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust TACAS 2024
- Automatic fault location for data structures CC 2016
- Fast non-intrusive memory reclamation for highly-concurrent data structures ISMM 2016
- Proving highly-concurrent traversals correct OOPSLA 2020
- Compositional Verification of Concurrent C Programs with Search Structure Templates CPP 2024
- A Methodology for Implementing Highly Concurrent Data Structures PPoPP 1990
- Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models OOPSLA 2024