Lightweight Static Analysis for Data Race Detection in Operating System Kernels
Метод легковесного статического анализа для поиска состояний гонок

P.S. Andrianov, V.S. Mutilin, A.V. Khoroshilov
2015 Proceedings of the Institute for System Programming of RAS  
doi:10.15514/ispras-2015-27(5)-6 fatcat:hf2sksrmnfahxf67haaahxoipy