Andrianov, P. and Mutilin, V. (2021) “Data Race Detection in the Linux Kernel with CPALockator”, Electronic Communications of the EASST, 79. doi: 10.14279/tuj.eceasst.79.1115.