1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2018
Memory Consistency Models using Constraints
Ruth Hoffmann, Özgür Akgün, Susmit Sarkar
Memory consistency models (MCMs) are at the heart of concurrent programming. They represent the behaviour of concurrent programs at the chip level. To test these models small progr…
cs.LO2017★ 1 cited
Verification of a lazy cache coherence protocol against a weak memory model
Christopher J. Banks, Marco Elver, Ruth Hoffmann +3
In this paper we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simul…