Sumeet Kumar Aneesh Aggarwal Speculative instruction validation for performance-reliability trade-off. 405-414 2008 HPCA http://dx.doi.org/10.1109/HPCA.2008.4658656 conf/hpca/2008 db/conf/hpca/hpca2008.html#KumarA08