@inproceedings{ECOOP10,
  author = {Scott Owens},
  title = {Reasoning about the Implementation of Concurrency Abstractions on {x86-TSO}},
  booktitle = {ECOOP 2010 --- Object-Oriented Programming, 24th European Conference},
  editor = {Theo D'Hondt},
  year = 2010,
  series = {Lecture Notes in Computer Science},
  volume = 6183,
  pages = {478--503},
  publisher = {Springer},
  month = jun,
  doi = {10.1007/978-3-642-14107-2_23}}