HARD: Hardware-Assisted Lockset-based Race Detection | IEEE Conference Publication | IEEE Xplore