Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.

Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana

Browse the full SP paper archive.