Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana. Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. In 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. pages 2086-2103, IEEE, 2023. [doi]
Abstract is missing.