Automatic safety proofs for asynchronous memory operations.

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

Browse the full PPoPP paper archive.