Yunji Chen Yi Lv Weiwu Hu Tianshi Chen Haihua Shen Pengyu Wang Hong Pan Fast complete memory consistency verification. 381-392 2009 HPCA http://dx.doi.org/10.1109/HPCA.2009.4798276 conf/hpca/2009 db/conf/hpca/hpca2009.html#ChenLHCSWP09