5530

Automatic safety proofs for asynchronous memory operations

Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
University of Cambridge, UK
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming, PPoPP ’11, 2011

@inproceedings{botincan2011automatic,

   title={Automatic safety proofs for asynchronous memory operations},

   author={Botincan, M. and Dodds, M. and Donaldson, A.F. and Parkinson, M.J.},

   booktitle={Proceedings of the 16th ACM symposium on Principles and practice of parallel programming},

   pages={313–314},

   year={2011},

   organization={ACM}

}

Download Download (PDF)   View View   Source Source   

1179

views

We present a work-in-progress proof system and tool, based on separation logic, for analysing memory safety of multicore programs that use asynchronous memory operations.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2024 hgpu.org

All rights belong to the respective authors

Contact us: