Relaxed memory models
From MaRDI portal
Publication:5261535
DOI10.1145/1480881.1480930zbMATH Open1315.68173OpenAlexW2104245532MaRDI QIDQ5261535FDOQ5261535
Publication date: 3 July 2015
Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1480881.1480930
Cited In (16)
- Title not available (Why is that?)
- Operational semantics of a weak memory model with channel synchronization
- A denotational semantics for SPARC TSO
- Operational semantics of a weak memory model with channel synchronization
- Parallelized sequential composition and hardware weak memory models
- An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
- Verification of STM on relaxed memory models
- Operational semantics with semicommutations
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- Context-Bounded Analysis of TSO Systems
- Studying Operational Models of Relaxed Concurrency
- Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
- A formal hierarchy of weak memory models
- Verified Software Toolchain
- Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models
- An operational happens-before memory model
Recommendations
- Generative operational semantics for relaxed memory models 👍 👎
- An operational happens-before memory model 👍 👎
- Relationships between memory models 👍 👎
- A calculus for relaxed memory 👍 👎
- A model of memory dynamics 👍 👎
- Title not available (Why is that?) 👍 👎
- On Thin Air Reads Towards an Event Structures Model of Relaxed Memory 👍 👎
- A formal hierarchy of weak memory models 👍 👎
This page was built for publication: Relaxed memory models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261535)
