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
BibTeX
@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}
}
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.
September 11, 2011 by
hgpu
Rate this item:1.00 2.00 3.00 4.00 5.00 Submit Rating
No votes yet.
