Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
No abstract available.
Related papers
- View-Based Owicki-Gries Reasoning for Persistent x86-TSO ESOP 2022
- Relaxing safely: verified on-the-fly garbage collection for x86-TSO PLDI 2015
- Reasoning About TSO Programs Using Reduction and Abstraction CAV 2018
- Memory, an elusive abstraction ISMM 2010
- Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures OOPSLA 2024
- Verification under Intel-x86 with Persistency PLDI 2024
- Making weak memory models fair OOPSLA 2021
- Fast RMWs for TSO: semantics and implementation PLDI 2013