Relaxed memory models
From MaRDI portal
Publication:5261535
DOI10.1145/1480881.1480930zbMath1315.68173OpenAlexW2104245532MaRDI QIDQ5261535
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
Related Items (13)
A denotational semantics for SPARC TSO ⋮ Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models ⋮ Parallelized sequential composition and hardware weak memory models ⋮ A formal hierarchy of weak memory models ⋮ Verification of STM on relaxed memory models ⋮ Verified Software Toolchain ⋮ Context-Bounded Analysis of TSO Systems ⋮ Operational semantics of a weak memory model with channel synchronization ⋮ An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model ⋮ Operational semantics of a weak memory model with channel synchronization ⋮ Operational semantics with semicommutations ⋮ Unnamed Item ⋮ Studying Operational Models of Relaxed Concurrency
This page was built for publication: Relaxed memory models