ref.bib

-*- mode: bibtex; fill-column: 60 -*-
@inproceedings{owens2009better,
  title={A better x86 memory model: x86-TSO},
  author={Owens, Scott and Sarkar, Susmit and Sewell, Peter},
  booktitle={International Conference on Theorem Proving in Higher Order Logics},
  pages={391--407},
  year={2009},
  organization={Springer}
}
@article{sarkarlitmus,
  title={Litmus: Running Tests Against Hardware},
  author={Sarkar, Jade Alglave1 Luc Maranget1 Susmit and Sewell, Peter}
}
@article{pugh2000java,
  title={The Java memory model is fatally flawed},
  author={Pugh, William},
  journal={Concurrency - Practice and Experience},
  volume={12},
  number={6},
  pages={445--455},
  year={2000}
}
@article{maranget2012tutorial,
  title={A tutorial introduction to the ARM and POWER relaxed memory models},
  author={Maranget, Luc and Sarkar, Susmit and Sewell, Peter},
  journal={Draft available from http://www. cl. cam. ac. uk/\~{} pes20/ppc-supplemental/test7. pdf},
  year={2012}
}
@inproceedings{boehm2005threads,
  title={Threads cannot be implemented as a library},
  author={Boehm, Hans-J},
  booktitle={ACM Sigplan Notices},
  volume={40},
  number={6},
  pages={261--268},
  year={2005},
  organization={ACM}
}
@misc{bacon2000double,
  title={The “double-checked locking is broken” declaration},
  author={Bacon, David and Bloch, Joshua and Bogda, Jeff and Click, Cliff and Haahr, Paul and Lea, Doug and May, Tom and Maessen, Jan-Willem and Mitchell, JD and Nilsen, Kelvin and others},
  year={2000}
}
@misc{IWPAug2007,
  howpublished =
                  {\url{http://www.cs.cmu.edu/~410-f10/doc/Intel_Reordering_318147.pdf}},
  note =         {Accessed: 2017-04-30},
  title =        {Intel® 64 Architecture Memory Ordering
                  White Paper},
}



@INPROCEEDINGS{Boehm08foundationsof,
    author = {Hans-j. Boehm and Sarita V. Adve},
    title = {Foundations of the C++ Concurrency Memory Model},
    booktitle = {PLDI'08},
    year = {2008},
    publisher = {}
}