TY  - RPRT
TI  - Don't sit on the fence: A static analysis approach to automatic fence insertion
AU  - Jade Alglave
AU  - Daniel Kroening
AU  - Vincent Nimal
AU  - Daniel Poetzl
PY  - 2014
UR  - https://arxiv.org/abs/1312.1411
ID  - 1312.1411
ER  -