Институт системного программирования им. В.П. Иванникова РАН


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

Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++

Диссертация защищена

Искомая степень: Кандидат физико-математических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 2016-04-07.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 2016-06-16.

Официальный оппонент: Терехов Андрей Николаевич, доктор физико-математических наук (05.13.11).

Место работы, должность: Федеральное госу­дарственное бюджетное образовательно­е учреждение высшего профессионально­го образования «Санкт-Петербургский го­сударственный университет», заведующий кафедрой систем­ного программирования.

Основные публикации за последние 5 лет:

  1. ПЛАТФОРМА ДЛЯ РАЗРАБОТКИ МОБИЛЬНЫХ ПРИЛОЖЕНИЙ UBIQ MOBILE. Терехов А.Н., Оносовский В.В. Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2011. Т. 9. № 4. С. 60-70.
  2. “Good technology makes the difficult task easy”, ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering Pages 683-686 ACM New York, NY, USA ©2013
  3. QReal: платфоpма визуального пpедметно-оpиентиpованного моделиpования, Программная инженерия, 6, 2013, Соавторы: Брыксин Т.А, Литвинов Ю.В.
  4. QReal:Robots an environment for teaching computer science and robotics in schools, Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia, ACM New York, NY, USA ©2013, Соавторы: Yurii Litvinov, Timofey Bryksin
  5. АЛГОЛ 68 И ЕГО ВЛИЯНИЕ НА ПРОГРАММИРОВАНИЕ В СССР И РОССИИ (ЧАСТЬ 1). Терехов А.Н. В сборнике: ТРУДЫ SORUCOM-2014. Третья Международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы 2014. С. 342-347.
  6. АЛГОЛ 68 И ЕГО ВЛИЯНИЕ НА ПРОГРАММИРОВАНИЕ В СССР И РОССИИ (ЧАСТЬ 2). Терехов А.Н. В сборнике: ТРУДЫ SORUCOM-2014. Третья Международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы 2014. С. 348-353.
  7. Инженерная лаборатория в общеобразовательных учреждениях, журнал Компьютерные инструменты в образовании, №5, 2015, Соавторы - Геворкян Т.Г., Киселев М.М., Немешев М.Х.
  8. View to view transformations in domain specific modeling, Programming and Computer Software (PCS) 41(4), 2015, Соавторы – D.V.Koznov, E.V.Larchik
  9. ИНСТРУМЕНТАЛЬНОЕ СРЕДСТВО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ И ТЕХНИКЕ ТРАНСЛЯЦИИ. Терехов А.Н. Компьютерные инструменты в образовании. 2016. № 1. С. 36-47.

Отзыв оппонента: Скачать

Официальный оппонент: Михалкович Станислав Станиславо­вич, кандидат физико-математических наук (01.01.02).

Место работы, должность: Федеральное государственное автономное учреждение высшего образования «Юж­ный федеральный университет», доцент Института математики, механики и компьютерных наук им. И. И. Воровича.

Основные публикации за последние 5 лет:

  1. Абрамян М., Михалкович С. ВЕБ-СРЕДА РАЗРАБОТКИ И ОБУЧЕНИЯ. Открытые системы. СУБД. 2012. № 10. С. 56-59.
  2. Абрамян М.Э., Белякова Ю.В., Михалкович С.С. ИСПОЛЬЗОВАНИЕ ВЕБ-СРЕДЫ PASCALABC.NET ДЛЯ ДИСТАНЦИОННОГО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ. Дистанционное и виртуальное обучение. 2012. № 3. С. 14-24.
  3. Малеванный М.С., Михалкович С.С. Модель поиска точек привязки для аспектной разметки кода. Труды научной школы И.Б. Симоненко. Выпуск второй. Ростов-на-Дону: Изд-во ЮФУ, 2015. — С. 216–229.
  4. Головешкин А.В., Малеванный М.С., Михалкович С.С. ИНТЕГРИРОВАННАЯ СРЕДА РАЗРАБОТКИ ГРАММАТИКИ С ПОДДЕРЖКОЙ АСПЕКТНОЙ РАЗМЕТКИ Современные информационные технологии: тенденции и перспективы развития: материалы конференции / ЮФУ. Ростов-на-Дону, 2015 — С. 112–113. 16-18 апреля 2015 года
  5. Julia Belyakova, Stanislav Mikhalkovich. Pitfalls of C# Generics and Their Solution Using Concepts // Proceedings of the Institute for System Programming. Институт системного программирования РАН (Москва), Июнь 2015, 27(3). — С. 29–45. (ВАК)
  6. Ю. В. Белякова, С. С. Михалкович. Средства обобщённого программирования в современных объектно-ориентированных языках. Часть 1. Анализ проблем // Труды научной школы И. Б. Симоненко. Выпуск второй. Ростов-на-Дону: Изд-во ЮФУ, 2015. — С. 58–72.
  7. Ю. В. Белякова, С. С. Михалкович. Средства обобщённого программирования в современных объектно-ориентированных языках. Часть 2. Обзор новых решений // Труды научной школы И. Б. Симоненко. Выпуск второй. Ростов-на-Дону: Изд-во ЮФУ, 2015. — С. 73–87.
  8. Ю. В. Белякова, С. С. Михалкович. Концепт-параметры как механизм развития средств обобщённого программирования в языке C# // Научный журнал «Современные информационные технологии и ИТ-образование». Том 2 (№ 11). Москва, 2015. — С. 205–213.
  9. Малеванный М.С., Михалкович С.С. АСПЕКТНАЯ РАЗМЕТКА КОДА ДЛЯ БЫСТРОЙ НАВИГАЦИИ ПО ПРОЕКТУ // Труды конференции SECR 2015. 8 с. В печати

Отзыв оппонента: Скачать

Ведущая организация: Вычислительный центр им. А.А. Дородницына Российской академии наук Федерального исследовательского центра «Информатика и управление» Российской академии наук

Контактные данные: 119333, Москва, ул. Вавилова, д. 40, 8-499-135-04-40, wcan@ccas.ru, http://www.ccas.ru/

Основные публикации за последние 5 лет:

  1. Атаева О. М., Серебряков В. А. Персональная цифровая библиотека Libmeta как среда интеграции связанных открытых данных //Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XVI Всероссийской конференции RCDL. – 2014. – С. 42-47.
  2. Атаева О. М. и др. Интеграция данных по теплофизическим свойствам веществ методами онтологического моделирования //Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской конференции RCDL. – 2013. – Т. 13. – С. 63-69.
  3. Атаева О. М., Серебряков В. А. Подход к созданию персональной семантической электронной библиотеки //Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской конференции RCDL. – 2013. – Т. 13. – С.285-291.
  4. Кудашев Е. Б., Серебряков В. А. Инфраструктура научных информационных ресурсов и систем //Российский научный электронный журнал "Электронные библиотеки". – 2013. – Т. 16. – №. 6.
  5. Еркимбаев А. О. и др. Интеграция данных по свойствам веществ и материалов на основе онтологического моделирования предметной области //Материалы научной конференции "Интернет и современное общество". – 2012. – С. 38-47.
  6. Кузнецов К. А. и др. Онтологическое моделирование и публикация данных об Особо Охраняемых Природных Территориях //Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XIV Всероссийской конференции RCDL. – 2012. – С. 215-221.

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 15 из 20 членов диссертационного совета: Иванников В.П., Томилин А.Н., Зеленов С.В., Аветисян А.И., Бобков С.Г., Жданов А.А., Захаров В.Н., Карпов Л.Е., Крюков В.А., Кузюрин Н.Н., Лаврищева Е.М., Петренко А.К., Семенов В.А., Серебряков В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать