A Formal Interface for Concurrent Search Structure Templates
No abstract available.
Related papers
- Verifying concurrent multicopy search structures OOPSLA 2021
- Compositional Verification of Concurrent C Programs with Search Structure Templates CPP 2024
- Verifying concurrent search structure templates PLDI 2020
- Verifying Lock-Free Search Structure Templates ECOOP 2024
- Template constructors for reusable object initialization GPCE 2013
- Recursive Program Synthesis using Paramorphisms PLDI 2024
- Program verification using templates over predicate abstraction PLDI 2009
- Embedding Hindsight Reasoning in Separation Logic PLDI 2023