Getting Rid of Store-Buffers in TSO Analysis
No abstract available.
Related papers
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- Fast RMWs for TSO: semantics and implementation PLDI 2013
- Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model OOPSLA 2018
- Checking and Enforcing Robustness against TSO ESOP 2013
- From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models SAS 2016
- Principled Scavenging PLDI 2001
- Parameterized Verification under TSO with Data Types TACAS 2023
- Maximal causality reduction for TSO and PSO OOPSLA 2016