RUS
ENG
Full version
PEOPLE
Elchinov Egor Sergeevich
Publications in Math-Net.Ru
Adaptation of the ThreadSanitizer algorithm for data race detection in a RTOS kernel
Proceedings of ISP RAS
,
37
:6(3) (2025),
91–108
©
Steklov Math. Inst. of RAS
, 2026
