Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana: Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. SP 2023: 2086-2103