Pin Zhou Radu Teodorescu Yuanyuan Zhou HARD: Hardware-Assisted Lockset-based Race Detection. 121-132 2007 HPCA http://doi.ieeecomputersociety.org/10.1109/HPCA.2007.346191 conf/hpca/2007 db/conf/hpca/hpca2007.html#ZhouTZ07