Jacob Leverich Hideho Arakida Alex Solomatnikov Amin Firoozshahian Mark Horowitz Christos Kozyrakis Comparative evaluation of memory models for chip multiprocessors. 2008 5 TACO 3 http://doi.acm.org/10.1145/1455650.1455651 db/journals/taco/taco5.html#LeverichASFHK08