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