@MISC{schill-nanz-meyer:2014:techreport, author = {Schill, Mischael and Nanz, Sebastian and Meyer, Bertrand}, title = {Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership}, urltopdf = {http://arxiv.org/abs/1405.7153}, publisher = {arXiv:1405.7153}, year = {2014}, }