@inproceedings{alglave:2014,
  title = "Don't Sit on the Fence - {A} Static Analysis Approach to Automatic Fence Insertion",
  author = "Jade Alglave and Daniel Kroening and Vincent Nimal and Daniel Poetzl",
  year = "2014",
  booktitle = "CAV",
}