@misc{indiciae3356f0a7b817,
  title = {A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions},
  author = {Niels Dossche and Bert Abrath and Bart Coppens},
  year = {2024},
  url = {https://arxiv.org/abs/2404.00350},
  note = {Source identifier: 2404.00350}
}