Finding Kernel Race Bugs through Fuzzing, Dae R. Jeong, Kyungtae Kim, Basavesh Ammanaghatta Shivakumar, Byoungyoung Lee, and Insik Shin, IEEE Symposium on Security and Privacy (Oakland) 2019