Predicate Abstraction for Relaxed Memory Models
No abstract available.
Related papers
- The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency POPL 2022
- Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models APLAS 2018
- Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract) ESOP 2013
- Effective Abstractions for Verification under Relaxed Memory Models VMCAI 2015
- Partial-coherence abstractions for relaxed memory models PLDI 2011
- CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution) TACAS 2017
- Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement ESOP 2015
- Transactions in relaxed memory architectures POPL 2018