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
Your response
You must be logged in to post a comment.
