P. Andrianov and V. Mutilin, “Data Race Detection in the Linux Kernel with CPALockator”, ECEASST, vol. 79, May 2021.