–
Доклады на научных конференциях
-
- 2025 Дополнение запросов к LLM информацией из статического анализатора для проверки истинности предупреждений. (Устный)
- Авторы: Игнатьев В.Н., Панов Д.Д., Шимчик Н.В.
- Ломоносовские чтения - 2025. Секция вычислительной математики и кибернетики. Факультет ВМК, Москва, Россия, Россия, 24 марта - 4 апреля 2025
-
- 2019 Vulnerabilities Detection via Static Taint Analysis (Устный)
- Авторы: Nikita Shimchik, Valery Ignatyev
- Spring/Summer Young Researchers' Colloquium on Software Engineering - 2019, Саратов, Россия, 29-31 мая 2019
-
- 2018 Поиск критических ошибок с помощью межпроцедурного анализа помеченных данных в программах на Си/Си++ (Устный)
- Авторы: Гайсарян С.С., Шимчик Н.В.
- Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018