TY  JOUR
TI  
KW  состояние гонки
KW  статический анализ
KW  многопоточные алгоритмы
KW  SSA
KW  оптимизирующий компилятор
KW  LLVM IR
KW  condition of race
KW  static analysis
KW  multiline algorithms
KW  SSA
KW  the optimizing compiler
KW  LLVM IR
JO  Herald of Technological University
AU  Bitner, V.А.
AU  Timerbaev, N.F.
PY  2025
IS  17
PB  Kazan National Research Technological University