TY  - RPRT
TI  - Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings
AU  - Yatin A. Manerkar
AU  - Caroline Trippel
AU  - Daniel Lustig
AU  - Michael Pellauer
AU  - Margaret Martonosi
PY  - 2016
UR  - https://arxiv.org/abs/1611.01507
ID  - 1611.01507
ER  -