ИСТИНА

Белеванцев Андрей Андреевич пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, профессор, с 1 сентября 2018, по совместительству

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, профессор, с 1 сентября 2018, по совместительству

кандидат физико-математических наук с 2008 года

доктор физико-математических наук с 2018 года

Соавторы: Игнатьев В.Н., Аветисян А.И., Курмангалеев Ш.Ф., Иванников В.П., Бородин А.Е., Дудина И.А., Журихин Д.М., Шимчик Н.В., Sargsyan S., Гайсарян С.С., Избышев А.О., Корухова Л.С., Беляев М.В. показать полностью..., Горемыкин А.В., Кузьменкова Е.А., Меркулов А.П., Падарян В.А., Evgeny V., Арутюнян M.С., Батузов К.А., Болотников И.В., Борзилов А.И., Вартанов С.П., Голубцов П.В., Ефремов И.С., Жуйков Р.А., Кошелев В.К., Кудрявцев А.О., Кудряшов Е.А., Ларионов-Тришкин Т.А., Махнычев В.С., Мельник Д.М., Ниськов Ф.В., Платонов В.А., Поляков С.В., Соловьев М.А., Тяжкороб У., Чан Т.Т.

28 статей, 4 книги, 14 докладов на конференциях, 7 тезисов докладов, 3 НИР, 1 свидетельство о регистрации прав на ПО, 1 награда, 5 диссертаций, 5 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 51, Scopus: 71

IstinaResearcherID (IRID): 11643985

Деятельность

• Статьи в журналах

  • • 2022 Irbis: static taint analysis for vulnerabilities detection in C/C++
    • Шимчик Н.В., Игнатьев В.Н., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал)
  • • 2022 Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа
    • Тяжкороб У., Игнатьев В.Н., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 35
  • • 2021 Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
    • Бородин А.Е., Горемыкин А.В., Вартанов С.П., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 1, с. 7-32 DOI
  • 
    • 2018 Comparative Analysis of Two Approaches to Static Taint Analysis
    • Belyaev M.V., Shimchik N.V., Ignatyev V.N., Belevantsev A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 44, № 6, с. 459-466 DOI
  • 
    • 2017 Multilevel Static Analysis for Improving Program Quality
    • Belevantsev A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 43, № 6, с. 321-336 DOI
  • 
    • 2017 SharpChecker: Static analysis tool for C# programs
    • Koshelev V.K., Ignatiev V.N., Borzilov A.I., Belevantsev A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 43, № 4, с. 268-276 DOI
  • 
    • 2017 Using Static Symbolic Execution to Detect Buffer Overflows
    • Dudina I.A., Belevantsev A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 43, № 5, с. 277-288
  • • 2017 Анализ программ на языке Java в инструменте Svace
    • Меркулов А.П., Поляков С.А., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 29, № 3, с. 57-74 DOI
  • • 2017 Многоуровневый статический анализ исходного кода программ для обеспечения качества программ
    • Белеванцев А.А.
    • в журнале Программирование, № 6, с. 3-25
  • • 2017 Организация контролируемой сборки в статическом анализаторе Svace
    • Белеванцев А.А., Избышев А.О., Журихин Д.М.
    • в журнале Системный администратор, том 6, № 7, с. 135-139
  • • 2017 Применение статического символьного выполнения для поиска ошибок доступа к буферу
    • Дудина И.А., Белеванцев А.А.
    • в журнале Программирование, № 5, с. 3-17
  • • 2017 Сравнительный анализ двух подходов к статическому анализу помеченных данных
    • Беляев М.В., Шимчик Н.В., Игнатьев В.Н., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 29, № 3, с. 99-116 DOI
  • 
    • 2016 Analysis of Entities in C and C++ Programs and Relations between Them for Program Understanding
    • Belevantsev A.A., Veselevich E.A., Ivannikov V.P.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 1, с. 49-53 DOI
  • 
    • 2016 Scalable and accurate detection of code clones
    • Sargsyan S., Kurmangaleev Sh, Belevantsev A., Avetisyan A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 1, с. 27-33 DOI
  • • 2015 Масштабируемый и точный поиск клонов кода
    • Саргсян С., Курмангалеев Ш., Белеванцев А.А., Аветисян А.И.
    • в журнале Программирование, том 41, № 6, с. 9-17
  • • 2015 Статический анализатор Svace как коллекция анализаторов разных уровней сложности
    • Бородин А.Е., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 6, с. 111-134 DOI
  • 
    • 2014 Static analyzer Svace for finding defects in a source program code
    • Ivannikov V.P., Belevantsev A.A., Borodin A.E., Ignatiev V.N., Zhurikhin D.M., Avetisyan A.I.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 40, № 5, с. 265-275 DOI
  • • 2014 Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM
    • Иванников В.П., Курмангалеев Ш.Ф., Белеванцев А.А., Аветисян А.И., Нурмухаметов А., Савченко В., Матевосян Р.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 327-342
  • • 2014 Статический анализатор Svace для поиска дефектов в исходном коде программ
    • Иванников В.П., Белеванцев А.А., Бородин А.Е., Игнатьев В.Н., Журихин Д.М., Аветисян А.И., Леонов М.И.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 231 -250 DOI
  • • 2012 Использование стандарта OpenCL для программирования ПЛИС
    • Белеванцев А.А., Меркулов А.П., Платонов В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 22, с. 211-222
  • • 2011 Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ
    • Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов
    • в журнале Труды Института системного программирования РАН (электронный журнал), № 21, с. 23-38

• Статьи в сборниках

  • • 2021 Improving Accuracy and Completeness of Source Code Static Taint Analysis
    • Shimchik N.V., Ignatyev V.N., Belevantsev A.A.
    • в сборнике 2021 Ivannikov Ispras Open Conference (ISPRAS), место издания IEEE DOI
  • 
    • 2019 Detection of Variable Misuse Using Static Analysis Combined with Machine Learning
    • Morgachev Gleb, Ignatyev Valery, Belevantsev Andrey
    • в сборнике Proceedings 2019 Ivannikov Ispras Open Conference, издательство Conference Pub. Services, IEEE Computer Society (Los Alamitos, Calif., United States), с. 16-24 DOI
  • 
    • 2018 Design and Development of Svace Static Analyzers
    • Andrey Belevantsev, Alexey Borodin, Irina Dudina, Valery Ignatiev, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich, Dmitry Zhurikhin
    • в сборнике Ivannikov Memorial Workshop, место издания IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, с. 3-9 DOI
  • 
    • 2018 Deterministic Static Analysis
    • Alexey Borodin, Andrey Belevantsev, Dmitry Zhurikhin, Alexey Izbyshev
    • в сборнике Ivannikov Memorial Workshop, место издания IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, с. 10-18
  • 
    • 2018 Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code
    • Belevantsev A., Avetisyan A.
    • в сборнике Perspectives of System Informatics. PSI 2017, серия Lecture Notes in Computer Science, место издания Springer, Cham, том 10742, с. 28-42 DOI
  • 
    • 2015 LLVM-based code clone detection framework
    • Avetisyan Arutyun, Kurmangaleev Shamil, Sargsyan Sevak, Arutunian Mariam, Belevantsev Andrey
    • в сборнике CSIT 2015 - 10th International Conference on Computer Science and Information Technologies, место издания Institute of Electrical & Electronics Engineers (IEEE), с. 100-104 DOI
  • • 2013 Performance optimizations in an LLVM-based cloud application store
    • Ivannikov V.P., Belevantsev A.A., Avetisyan A.I., Kurmangaleev Sh F.
    • в сборнике 9th International Conference on Computer Science and Information Technologies (CSIT 2013), 23-27 Sept. 2013, издательство IEEE Computer Society (United States) DOI

• Книги

  • • 2019 Элементы теории алгоритмов
    • Белеванцев А.А., Гайсарян С.С., Корухова Л.С., Кузьменкова Е.А.
    • место издания Издательский отдел факультета ВМиК МГУ М, 36 с.
  • • 2012 Задачи экзаменов по вводному курсу программирования (учебно-методическое пособие)
    • Белеванцев А.А., Гайсарян С.С., Иванников В.П., Корухова Л.С., Падарян В.А.
    • место издания М.: Издательский отдел факультета ВМК МГУ, ISBN 978-5-89407-497-9, 85 с.
  • • 2012 Практические задачи по вводному курсу программирования: учебное пособие
    • Батузов К.А., Белеванцев А.А., Жуйков Р.А., Кудрявцев А.О., Падарян В.А., Соловьев М.А.
    • место издания Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова Москва, ISBN 978-5-89407-498-6, 80 с.
  • • 2012 Семинары по курсу "Алгоритмы и алгоритмические языки": учебно-методическое пособие для студентов 1 курса
    • Белеванцев А.А., Гайсарян С.С., Корухова Л.С., Кузьменкова Е.А., Махнычев В.С.
    • место издания Изд-во Моск. ун-та М, ISBN 978-5-89407-500-6, 140 с.

• Доклады на конференциях

  • • 2023 Использование символьного выполнения для поиска дефектов для анализа бинарного кода (Устный)
    • Авторы: Белеванцев Андрей Андреевич, Курмангалеев Ш.Ф., Иванов Г.С., Акопян А.А.
    • Ломоносовские чтения - 2023, Секция вычислительная математика и кибернетика, 4-14 апреля 2023, Москва, МГУ, факультет ВМК, Россия, 4-14 апреля 2023
  • • 2023 Поиск семантически эквивалентных участков кода (Устный)
    • Авторы: Белеванцев Андрей Андреевич, Курмангалеев Ш.Ф., Иванов Г.С., Ильина А.А.
    • Ломоносовские чтения - 2023, Секция вычислительная математика и кибернетика, 4-14 апреля 2023, Москва, МГУ, факультет ВМК, Россия, 4-14 апреля 2023
  • • 2023 Предикаты безопасности для дополнительного анализа при частичной эмуляции (Устный)
    • Авторы: Белеванцев А.А., Курмангалеев Ш.Ф., Голубцов П.В., Ефремов И.С., Ниськов Ф.В.
    • Ломоносовские чтения - 2023, Секция вычислительная математика и кибернетика, 4-14 апреля 2023, Москва, МГУ, факультет ВМК, Россия, 4-14 апреля 2023
  • • 2022 Futag - автоматический генератор фаззинг-оберток для программных библиотек (Устный)
    • Авторы: Белеванцев Андрей Андреевич, Курмангалеев Ш.Ф., Чан Ти Тхиен, Ларионов-Тришкин Т.А.
    • Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
  • • 2022 Генерация эффективного кода пролога и эпилога функций (Устный)
    • Авторы: Белеванцев Андрей Андреевич, Мельник Д.М., Кудряшов Е.А.
    • Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
  • • 2021 Расширение статического анализатора Svace для поиска ошибок в программах на языке Go (Устный)
    • Авторы: Белеванцев Андрей Андреевич, Болотников И.В., Бородин А.Е.
    • Ломоносовские чтения 2021. Секция вычислительная математика и кибернетика, 20-29 апреля 2021, Москва, Россия, 20-29 апреля 2021
  • • 2019 Recent Trends in Static Analysis (Приглашенный)
    • Автор: Belevantsev A.A.
    • Spring/Summer Young Researchers' Colloquium on Software Engineering - 2019, Саратов, Россия, 29-31 мая 2019
  • • 2018 Статический анализатор Svace: от семинарского доклада до промышленного инструмента (Устный)
    • Авторы: Дудина И.А., Белеванцев А.А.
    • Заседание семинара, посвященное 100-летию со Дня Рождения Михаила Романовича Шура-Бура, Москва, Россия, 9 ноября 2018
  • • 2018 Design and development of Svace static analyzers (Устный)
    • Авторы: Andrey Belevantsev, Alexey Borodin, Irina Dudina, Dmitry Zhurikhin, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich, Valery Ignatiev
    • Ivannikov Memorial Workshop, Ереван, Армения, 3-4 мая 2018
  • • 2018 Методы организации межпроцедурного анализа для поиска ошибок переполнения буфера (Устный)
    • Авторы: Белеванцев А.А., Дудина И.А.
    • Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
  • • 2017 Системное программирование и информационная безопасность (Устный)
    • Авторы: Аветисян А.И., Белеванцев А.А.
    • Актуальные проблемы системной и программной инженерии (АПСПИ 2017), Москва, Россия, 14-16 ноября 2017
  • • 2017 Технологии жизненного цикла разработки безопасного ПО (Устный)
    • Автор: Белеванцев А.А.
    • OS DAY 2017, Москва, Россия, 23-24 мая 2017
  • • 2017 К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфера (Устный)
    • Авторы: Дудина И.А., Белеванцев А.А.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2016 Технологии статического анализа в безопасном цикле разработки программ: требования, задачи, возможности (Устный)
    • Автор: Белеванцев А.А.
    • ISPRAS Open, Москва, Россия, 1-2 декабря 2016

• Тезисы докладов

  • • 2023 Предикаты безопасности для дополнительного анализа при частичной эмуляции. . Научная конференция. 04–14 апреля 2023 г. : тезисы докладов. – Москва : Издательский отдел факультета ВМиК МГУ; МАКС Пресс
    • Ефремов И.С., Ниськов Ф.В., Курмангалеев Ш.Ф., Белеванцев А.А., П В.Голубцов
    • в сборнике Сборник тезисов докладов научной конференции «ЛОМОНОСОВСКИЕ ЧТЕНИЯ 2023». Секция "Вычислительная математика и кибернетика", издательство ООО "МАКС Пресс" (Москва), тезисы, с. 71-72 DOI
  • • 2022 Futag - автоматический генератор фаззинг-оберток для программных библиотек
    • Белеванцев Андрей Андреевич, Курмангалеев Ш.Ф., Чан Ти Тхиен, Ларионов-Тришкин Т.А.
    • в сборнике Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, издательство ООО "МАКС Пресс" (Москва), том 2022, тезисы, с. 108-109
  • • 2022 Генерация эффективного кода пролога и эпилога функций
    • Белеванцев Андрей Андреевич, Мельник Д.М., Кудряшов Е.А.
    • в сборнике Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, издательство ООО "МАКС Пресс" (Москва), том 2022, тезисы, с. 102-103
  • • 2021 Расширение статического анализатора Svace для поиска ошибок в программах на языке Go
    • Белеванцев Андрей Андреевич, Болотников И.В., Бородин А.Е.
    • в сборнике Ломоносовские чтения-2021: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), том 2021, тезисы, с. 36-37
  • • 2020 Метод переиспользования абстракций в статическом анализе на основе глобального множества достижимых состояний
    • Горемыкин А.В., Бородин А.Е., Белеванцев А.А.
    • в сборнике Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики», серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 59-60
  • • 2018 Методы организации межпроцедурного анализа для поиска ошибок переполнения буфера
    • Дудина И.А., Белеванцев А.А.
    • в сборнике Ломоносовские чтения 2018 ф-т ВМК МГУ, место издания Макс-Пресс, тезисы, с. 33-34
  • • 2017 К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфера
    • Дудина И.А., Белеванцев А.А.
    • в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 35-36

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Исследование методов построения систем анализа и проектирования программного обеспечения
    • Кафедра системного программирования
    • Руководитель: Аветисян А.И. Ответственный исполнитель: Корухова Л.С. Участники НИР: Архипенко К.В., Батузов К.А., Бахтин В.А., Белеванцев А.А., Гомзин А.Г., Дудина И.А., Иванишин В.А., Игнатьев В.Н., Козырев В.И., Корныхин Е.В., Кузьменкова Е.А., Кукушкин К.В., Кулямин В.В., Майоров В.Д., Малышев Н.Е., Малышко В.В., Манушин Д.В., Ниськов Ф.В., Падарян В.А., Петренко А.К., Соловьев М.А., Теймуразов К.Б., Турдаков Д.Ю., Хорошилов А.В.
  • • 1 января 2016 - 31 декабря 2020 Развитие теории и методов анализа и проектирования программ
    • Кафедра системного программирования
    • Руководители: Аветисян А.И., Иванников В.П., Корухова Л.С. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Архипенко К.В., Батузов К.А., Белеванцев А.А., Вишняков А.В., Гайсарян С.С., Гомзин А.Г., Дроздова Е.А., Дудина И.А., Жаботинский Е.А., Колганов А.С., Корныхин Е.В., Крюков В.А., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Манушин Д.В., Мордань В.О., Ниськов Ф.В., Падарян В.А., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В., Шарыгин Е.Ю., Яцков А.К., Яшин С.В.
  • • 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
    • Кафедра системного программирования
    • Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Алексиянц А.В., Андрианов И.А., Батузов К.А., Бахтин В.А., Белеванцев А.А., Буздалов Д.В., Вартанов С.П., Гайсарян С.С., Гомзин А.Г., Горемыкин О.В., Дудина И.А., Иванишин В.А., Камкин А.С., Карпов Л.Е., Клеменков П.А., Корныхин Е.В., Кошелев В.К., Крюков В.А., Кузнецов К.А., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Мандрыкин М.У., Меркулов А.П., Морозов С.В., Падарян В.А., Петренко А.К., Посконин А.В., Притула М.Н., Серебряков В.А., Соловьев М.А., Тарлапан О.А., Теймуразов К.Б., Турдаков Д.Ю., Федоренко Д.Г., Хорошилов А.В., Шарыгин Е.Ю., Шуберт А.В.

• Свидетельства о регистрации прав на программное обеспечение

  • • 2022 Статический анализатор Svace (SOFT)
    • Авторы: Аветисян А.И., Афанасьев В.О., Белеванцев А.А., Беляев М.В., Бескровный А.В., Бородин А.Е., Вартанов С.П., Велесевич Е.А., Волков А.Е., Гайсарян С.С., Дворцова В.В., Дудина И.А., Журихин Д.М., Иванов Д.А., Игнатьев В.Н., Избышев А.О., Малышев Н.Е., Несов В.С., Поляков С.А., Сыромятников С.В., Шимчик Н.В.
    • #2022618173, 5 мая

• Награды и премии

  • • 2018 Премия правительства Москвы молодым ученым
    • Лауреат: Белеванцев Андрей Андреевич
    • Правительство Москвы, Россия

• Руководство диссертациями

  • • 2019 Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Дудина И.А., к.ф.-м.н.
    • Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН
    • Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова РАН и кафедра системного программирования факультета вычислительной математики и кибернетики Федерального государственного бюджетного образовательного учреждения высшего образования «Московский государственный университет имени М.В. Ломоносова»
    • Ведущая организация: Федеральный исследовательский центр «Информатика и управление» Российской академии наук
    • Оппоненты: Галатенко В.А., Волконский В.Ю.
  • • 2018 Исследование и разработка методов оптимизации программ для систем динамической двоичной трансляции
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Батузов К.А., МГУ имени М.В. Ломоносова
    • Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН
  • • 2017 Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке С#
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Кошелев Владимир Константинович
    • Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН
  • • 2016 Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Бородин А.Е.
    • Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН
  • • 2015 Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Игнатьев Валерий Николаевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Белеванцев Андрей Андреевич, д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН

• Авторство учебных курсов

  • • 2017 Производительность программных систем (на английском языке)
    • Автор: Белеванцев А.А.
    • курс на иностранном языке
  • • 2017 Анализ программ: понимание и оптимизация (на английском языке)
    • Автор: Белеванцев А.А.
    • курс на иностранном языке
  • • 2015 Алгоритмы и алгоритмические языки
    • Автор: Белеванцев А.А.
  • • 2010 Практикум на ЭВМ
    • Авторы: Белеванцев Андрей Андреевич, Падарян Вартан Андроникович
  • • 2010 Алгоритмы и алгоритмические языки (семинары)
    • Авторы: Корухова Л.С., Белеванцев А.А., Кузьменкова Е.А., Соловьев М.А.

• Преподавание учебных курсов

  • • с 24 апреля 2017 Производительность программных систем (на английском языке)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, вариативной части, лекции, 28 часов
  • • с 1 февраля 2017 Анализ программ: понимание и оптимизация (на английском языке)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, вариативной части, лекции
  • • с 1 сентября 2011 Алгоритмы и алгоритмические языки
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, лекции, 54 часов