Automatic safety proofs for asynchronous memory operations (2011)

by Matko Botincan, Mike Dodds, Alastair F Donaldson, Matthew J Parkinson
Venue:In PPOPP