Sound and complete monitoring of sequential consistency for relaxed memory models
From MaRDI portal
Publication:3000633
Recommendations
Cites work
- Computer Aided Verification
- Dynamic partial-order reduction for model checking software
- Effective Program Verification for Relaxed Memory Models
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- Memory model sensitive bytecode verification
- On the verification problem for weak memory models
- Sound and complete monitoring of sequential consistency for relaxed memory models
Cited in
(15)- Effective Program Verification for Relaxed Memory Models
- Efficiently and completely verifying synchronized consistency models
- Stateless model checking for TSO and PSO
- Sound and complete monitoring of sequential consistency for relaxed memory models
- Combining model checking and testing
- On atomicity in presence of non-atomic writes
- Context-bounded analysis of TSO systems
- Stateless model checking for TSO and PSO
- Verification of Concurrent Programs on Weak Memory Models
- Model checking race-freedom when ``sequential consistency for data-race-free programs is guaranteed
- From causal consistency to sequential consistency in shared memory systems
- Automatically comparing memory consistency models
- Deciding Robustness against Total Store Ordering
- Gradual consistency checking
- CCA-secure keyed-fully homomorphic encryption
This page was built for publication: Sound and complete monitoring of sequential consistency for relaxed memory models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000633)