HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts.

Jialin Yang, Chunbai Yang, W. K. Chan

Browse the full QRS paper archive.