Kaiyu Chen Sharad Malik Priyadarsan Patra Runtime validation of memory ordering using constraint graph checking. 415-426 2008 HPCA http://dx.doi.org/10.1109/HPCA.2008.4658657 conf/hpca/2008 db/conf/hpca/hpca2008.html#ChenMP08