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


Саргсян Севак Сеникович

Методы поиска клонов кода и семантических ошибок на основе семантического анализа программы

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

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

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

Дата размещения: 2015-12-28.
Текст диссертации: Скачать

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

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

Место работы, должность: Федеральное Государственное Учреждение "Федеральный Научный Центр Научно-исследовательский институт системных исследований Российской академии наук", заведующий сектором автоматизации программирования.

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

  1. Галатенко В.А. К проблеме автоматизации анализа и обработки информационного наполнения безопасности. - "Программная инженерия", N 3, 2011. - С. 45-57.
  2. Галатенко В.А. К автоматизации процессов анализа и обработки информационного наполнения безопасности: развитие протокола SCAP. - "Программная инженерия", N 4, 2012. - С. 9-13.
  3. Аристов М.С., Галатенко В.А., Костюхин К.А., Шмырев Н.В. Использование свободно распространяемых средств статического анализа исходных текстов программ в процессе разработки приложений для операционных систем реального времени. - "Программная инженерия", N 5, 2012. - с. 2-6.
  4. Галатенко В.А. Категорирование и разделение программ и данных как принцип архитектурной безопасности. - "Программная инженерия", N 7, 2012. - С. 2-7.
  5. Вьюкова Н.И., Галатенко В.А., Костюхин К.А., Шмырев Н.В. Опыт использования адаптивной компиляции в целях оптимизации критически важных приложений. - "Программная инженерия", N 8, 2012. - с. 10-16.
  6. Бетелин В.Б., Галатенко В.А., Костюхин К.А. Основные понятия контролируемого выполнения сложных систем. - "Информационные технологии. Приложение к журналу", N 3, 2013, 32 с.
  7. Вьюкова Н.И., Галатенко В.А., Самборский С.В. LLVM как инфраструктура разработки компиляторов для встроенных систем. - "Программная инженерия", N 6, 2013. - с. 2-10.
  8. Вьюкова Н.И., Галатенко В.А., Самборский С.В. О стандарте C11. - "Программная инженерия", N 8, 2013. - с. 2-9.

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

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

Место работы, должность: Публичное акционерное общество (ПАО) "ИНЭУМ им. И.С. Брука", начальник отделения "Системы программирования".

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

  1. Ким А.К., Волконский В.Ю., Груздов Ф.А., Михайлов М.С., Парахин Ю.Н., Сахин Ю.Х., Семенихин С.В., Слесарев М.В., Фельдман В.М. Архитектура, программное обеспечение и области применения компьютеров серии «Эльбрус». //Прикладная информатика, №5 (29) 2010. С. 78-91.
  2. Волконский В.Ю., Грабежной А.В., Муханов Л.Е., Нейман-заде М.И. Исследование влияния подсистемы памяти на производительность распараллеленных программ. //Вопросы радиоэлектроники, сер. ЭВТ, 2011, вып. 3. С.22-37.
  3. Волконский В.Ю, Брегер А.В., Бучнев А. Ю., Грабежной А.В., Ермолицкий А.В., Муханов Л.Е., Нейман-заде М.И., Степанов П.А., Четверина О.А. Методы распараллеливания программ в оптимизирующем компиляторе. //Вопросы радиоэлектроники, сер. ЭВТ, 2012, вып. 3. С.63-88.
  4. Ким А.К., Волконский В.Ю., Груздов Ф.А., Сахин Ю.Х., Семенихин С.В. Защищенное исполнение программ в системах на базе микропроцессоров "Эльбрус" - основа их надежности и безопасности. // В сб. докладов на XI отраслевую научно-практическую конференцию "Состояние и перспективы развития отечественной микроэлектроники". Новосибирск, 28-29 сентября 2012 г.
  5. Ким А.К., Бычков И.Н., Волконский В.Ю., Воробушков В.В., Груздов Ф.А., Михайлов М.С., Парахин Ю.Н., Сахин Ю.Х., Семенихин С.В., Слесарев М.В., Фельдман В.М. Архитектурная линия "Эльбрус" сегодня: микропроцессоры, вычислительные комплексы и программное обеспечение.  // Современные информационные технологии и ИТ-образование. Сборник докладов 7-й международной научно-практической конференции, Москва, 9-11 ноября 2012. С.21-29.
  6. Ким А.К., Бычков И.Н., Волконский В.Ю., Воробушков В.В., Груздов Ф.А., Михайлов М.С., Нейман-заде М.И., Парахин Ю.Н., Семенихин С.В., Слесарев М.В., Фельдман В.М. Российские технологии "Эльбрус" для персональных компьютеров, серверов и суперкомпьютеров.  // Современные информационные технологии и ИТ-образование. Сборник докладов 9-й международной научно-практической конференции, Москва, 14-16 ноября 2014. С.39-49.

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

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

Контактные данные: 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.

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

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

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

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