Login / Signup

Automatic safety proofs for asynchronous memory operations.

Matko BotincanMike DoddsAlastair F. DonaldsonMatthew J. Parkinson
Published in: PPOPP (2011)
Keyphrases