(1)
Andrianov, P.; Mutilin, V. Data Race Detection in the Linux Kernel With CPALockator. eceasst 2021, 79.