Сергей Сергеевич Макаров

Сергей Сергеевич Макаров

Achievements 2  

Points: 67

Наука   67

Публикация в сборнике трудов ИСП РАН о практической абстрактной интерпретации

Критерий 8б. Публикация, Несколько авторов, Всероссийский уровень [8б-всерос]

Ссылка на статью: https://doi.org/10.15514/ISPRAS-2020-32(6)-8

Доклад на Ломоносовских чтениях: Построение предиката пути как задача абстрактной интерпретации бинарного кода. Доклад ст. преп. Соловьева М. А., асп. 2 г/о Манушина Д. В., студ. 4 курса Папазьяна Е. Ю., студ. 3 курса Макарова С. С.

Критерий 8б. Публикация, Несколько авторов, Публикация в сборниках при конференциях или сборниках тезисов [8б-сборник]

Тезисы доклада находятся в приложенном файле на с. 139

Achievements page

Education

Кафедра системного программирования
University
Lomonosov Moscow State University
Faculty
Faculty of Computational Mathematics and Cybernetics
Department
Кафедра системного программирования
City
Россия, Москва
Mode of study
Full-time
Status
Student (bachelor)
Graduation year
2021