–
Статьи в журналах
-
- 2020 Практическая абстрактная интерпретация бинарного кода
- Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 101-110 DOI
Доклады на научных конференциях
-
- 2020 Практическая абстрактная интерпретация бинарного кода (Устный)
- Авторы: Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
- ОТКРЫТАЯ КОНФЕРЕНЦИЯ ИСП РАН ИМ. В.П. ИВАННИКОВА, Москва, Россия, 10-11 декабря 2020
-
- 2020 Построение предиката пути как задача абстрактной интерпретации бинарного кода (Устный)
- Авторы: Соловьев М.А., Манушин Д.В., Папазьян Е.Ю., Макаров С.С.
- Ломоносовские чтения-2020. Секция "Вычислительной математики и кибернетики (НИВЦ)", Россия, 29 октября 2020