Automatic safety proofs for asynchronous memory operations
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}
}
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
