@inproceedings{cav14
  author = "Jade Alglave and Daniel Kroening and Vincent Nimal and Daniel Poetzl",
  title = "Don't sit on the fence: A static analysis approach to automatic fence insertion",
  year = "2014",
  booktitle = "CAV",
  note = "arXiv version available",
  pages = "507-523",
  url = "http://arxiv.org/abs/1312.1411",
}