HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts | IEEE Conference Publication | IEEE Xplore