Herding cats: modelling, simulation, testing, and data-mining for weak memory.

Jade Alglave, Luc Maranget, Michael Tautschnig

Browse the full PLDI paper archive.