Andrianov, P.; Mutilin, V. Data Race Detection in the Linux Kernel With CPALockator. ECEASST 2021, 79.