Papers

Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew Parkinson. Automatic Safety Proofs for Asynchronous Memory Operations. In Proceedings of the 16th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP'11), pages 313-314. ACM, 2011.

Bibtex:

@inproceedings{BotincanDDP_PPoPP_Seplogic2011,
   title      = {Automatic Safety Proofs for Asynchronous Memory
                 Operations},
   author     = {Matko Botincan and Mike Dodds and Alastair F.
                 Donaldson and Matthew Parkinson},
   booktitle  = {Proceedings of the 16th ACM SIGPLAN Annual Symposium
                 on Principles and Practice of Parallel Programming
                 (PPoPP'11)},
   pages      = {313-314},
   publisher  = {ACM},
   year       = {2011}
}