HARD: Hardware-assisted lockset-based race detectionPin ZhouRadu Teodorescuet al.2007HPCA 2007Conference paper