Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis  

Published in Oakland S&P, 2023