2 papers
cs.PL2018
A denotational account of C11-style memory
Ryan Kavanagh, Stephen Brookes
We introduce a denotational semantic framework for shared-memory concurrent programs in a C11-style memory model. This denotational approach is an alternative to techniques based o…
cs.PL2017
A Denotational Semantics for SPARC TSO
Ryan Kavanagh, Stephen Brookes
The SPARC TSO weak memory model is defined axiomatically, with a non-compositional formulation that makes modular reasoning about programs difficult. Our denotational approach uses…