Automatic safety proofs for asynchronous memory operations

Matko Botincan, Mike Dodds, Alastair F. Donaldson, and Matthew J. Parkinson

Details

Publication typeInproceedings
Published inPPOPP
Pages313-314
> Publications > Automatic safety proofs for asynchronous memory operations