Бородин Алексей Евгеньевич

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

1. Статический анализ ассоциативных массивов в Go
   
   Труды ИСП РАН, 36:3 (2024),  21–34
2. Статический анализ для языка Scala
   
   Труды ИСП РАН, 36:3 (2024),  9–20
3. Статический анализ на основе обобщённого абстрактного синтаксического дерева
   
   Труды ИСП РАН, 35:6 (2023),  103–120
4. Статический анализатор для языков с обработкой исключений
   
   Труды ИСП РАН, 34:6 (2022),  7–28
5. Kotlin с точки зрения разработчика статического анализатора
   
   Труды ИСП РАН, 33:6 (2021),  67–82
6. Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
   
   Труды ИСП РАН, 33:1 (2021),  7–32
7. Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
   
   Труды ИСП РАН, 32:6 (2020),  87–100
8. Обнаружение дефекта взаимной блокировки с помощью статического анализа
   
   Труды ИСП РАН, 32:5 (2020),  21–34
9. Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ
   
   Труды ИСП РАН, 28:5 (2016),  145–158
10. Поиск ошибок доступа к буферу в программах на языке C/C++
    
    Труды ИСП РАН, 28:4 (2016),  149–168
11. Статический анализатор Svace как коллекция анализаторов разных уровней сложности
    
    Труды ИСП РАН, 27:6 (2015),  111–134