@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},
}