For citations:

Andrianov P.S., Mutilin V.S., Khoroshilov A.V. Lightweight Static Analysis for Data Race Detection in Operating System Kernels. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(5):87-116. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(5)-6