94 citations · 97 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 2 cited
PrideMM: A Solver for Relaxed Memory Models
Simon Cooksey, Sarah Harris, Mark Batty +2
Relaxed memory models are notoriously delicate. To ease their study, several ad hoc simulators have been developed for axiomatic memory models. We show how axiomatic memory models…
cs.PL2018
Compositional Verification of Compiler Optimisations on Relaxed Memory
Mike Dodds, Mark Batty, Alexey Gotsman
A valid compiler optimisation transforms a block in a program without introducing new observable behaviours to the program as a whole. Deciding which optimisations are valid can be…