Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis

Presented at IEEE Symposium on Security and Privacy 44 by

Suman Jana

Gabriel Ryan

Dongdong She

Abhishek Shah