@misc{indiciae852550cc79e8,
  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},
  url = {https://arxiv.org/abs/1312.1411},
  note = {Source identifier: 1312.1411}
}