Шимчик Никита Владимирович

Публикации в базе данных Math-Net.Ru

1. Повышение точности статического анализа кода при помощи больших языковых моделей
   
   Труды ИСП РАН, 37:6(1) (2025),  83–100
2. Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++
   
   Труды ИСП РАН, 34:6 (2022),  51–66
3. Vulnerabilities detection via static taint analysis
   
   Труды ИСП РАН, 31:3 (2019),  177–190
4. Сравнительный анализ двух подходов к статическому анализу помеченных данных
   
   Труды ИСП РАН, 29:3 (2017),  99–116