Pavel Sergeevich Andrianov, Vadim Sergeevich Mutilin. Data Race Detection in the Linux Kernel with CPALockator. ECEASST, 79, 2020. [doi]
@article{AndrianovM20,
title = {Data Race Detection in the Linux Kernel with CPALockator},
author = {Pavel Sergeevich Andrianov and Vadim Sergeevich Mutilin},
year = {2020},
doi = {10.14279/tuj.eceasst.79.1115},
url = {https://doi.org/10.14279/tuj.eceasst.79.1115},
researchr = {https://researchr.org/publication/AndrianovM20},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {79},
}