@misc{indiciae98f54a4cb492,
  title = {Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings},
  author = {Yatin A. Manerkar and Caroline Trippel and Daniel Lustig and Michael Pellauer and Margaret Martonosi},
  year = {2016},
  url = {https://arxiv.org/abs/1611.01507},
  note = {Source identifier: 1611.01507}
}