HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection. - Yang, Jialin; Jiang, Bo; Chan, W. K. (IEEE Transactions on Reliability, 2018)