Verifying Concurrent Programs against Sequential Specifications
Abstract elided by the publisher.
Related papers
- Robustness against release/acquire semantics PLDI 2019
- Verifying observational robustness against a c11-style memory model POPL 2021
- On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models POPL 2019
- Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models OOPSLA 2024
- Abstraction for Crash-Resilient Objects ESOP 2022
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency ESOP 2017
- Axioms for Concurrent Objects POPL 1987
- Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic TOPLAS 2016