Arvind Jan-Willem Maessen Memory Model = Instruction Reordering + Store Atomicity. 29-40 2006 conf/isca/2006 ISCA http://doi.ieeecomputersociety.org/10.1109/ISCA.2006.26 db/conf/isca/isca2006.html#ArvindM06