Andrianov, Pavel, and Vadim Mutilin. “Data Race Detection in the Linux Kernel With CPALockator”. Electronic Communications of the EASST, vol. 79, May 2021, doi:10.14279/tuj.eceasst.79.1115.