@inproceedings{DBLP:conf/kbse/BotincanDDP11,
author = {Matko Botincan and
Mike Dodds and
Alastair F. Donaldson and
Matthew J. Parkinson},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Safe asynchronous multicore memory operations},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {153-162},
publisher = {{IEEE} Computer Society},
year = {2011},
doi = {10.1109/ASE.2011.6100049},
}