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


Каушан Вадим Владимирович

Поиск ошибок выхода за границы буфера в бинарном коде программ

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

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

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

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

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

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

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

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

  1. Вьюкова Н.И., Галатенко В.А., Самборский С.В. LLVM как инфраструктура разработки компиляторов для встроенных систем. - "Программная инженерия", N 6, 2013. - с. 2-10.
  2. Вьюкова Н.И., Галатенко В.А., Самборский С.В. О стандарте C11. - "Программная инженерия", N 8, 2013. - с. 2-9.
  3. К вопросу по строения формальных моделей сбоеустойчивых приложений реального времени Галатенко В.А., Костюхин К.А., Шмырев Н.В. Интеллектуальные системы. Теория и приложения. 2013. Т. 17. № 1-4. С. 231-236.
  4. К постановке задачи разграничения доступа в распределенной объектной среде. Галатенко А.В., Галатенко В.А. Программная инженерия. 2013. № 5. С. 27-30.
  5. Модель памяти многопоточных программ в стандарте C11. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2013. № 10. С. 2-9.
  6. Основные понятия контролируемого выполнения сложных систем. Бетелин В.Б., Галатенко В.А., Костюхин К.А. Информационные технологии. 2013. № S3. С. 1-32.
  7. Controlled execution with explicit model. Бетелин В.Б., Галатенко В.А., Костюхин К. А. PROGRAMMING AND COMPUTER SOFTWARE, 2014, № 6, Т. 40, стр. 305 - 313
  8. Трассировка и самолечение в POSIX-системах. Бомбин А.А., Галатенко В.А., Костюхин К.А. Программные продукты и системы, 2014, № 108, стр. 5 - 9
  9. КОНТРОЛИРУЕМОЕ ВЫПОЛНЕНИЕ ПРИЛОЖЕНИЙ НА МНОГОПРОЦЕССОРНЫХ ПЛАТФОРМАХ. Бетелин В.Б., Галатенко В.А., Костюхин К.А. Информационные технологии. 2015. Т. 21. № 10. С. 723-728.
  10. СОВМЕЩЕНИЕ ВЫБОРА И ПЛАНИРОВАНИЯ КОМАНД В ПРОГРАММНОЙ КОНВЕЙЕРИЗАЦИИ ЦИКЛОВ. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2015. № 9. С. 3-10.
  11. К вопросу самовосстановления программного обеспечения в ARINC- и POSIX-системах. Бомбин А.А., Галатенко В.А., Костюхин К.А. Программная инженерия, 2015, № 3, стр. 3 - 12
  12. ДИРЕКТИВНАЯ И АВТОМАТИЧЕСКАЯ ВЕКТОРИЗАЦИИ ЦИКЛОВ. Вьюкова Н.И., Галатенко B.А., Самборский C.В. Программная инженерия. 2016. Т. 7. № 10. С. 435-445.
  13. ИСПОЛЬЗОВАНИЕ ВЕКТОРНЫХ РАСШИРЕНИЙ СОВРЕМЕННЫХ ПРОЦЕССОРОВ. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2016. Т. 7. № 4. С. 147-157.
  14. ПРОБЛЕМЫ ОТЛАДКИ МНОГОПРОЦЕССНЫХ СИСТЕМ. Галатенко В.А., Костюхин К.А. Программные продукты и системы. 2017. № 3. С. 378-383.
  15. ПРИМЕНЕНИЕ ПРОТОКОЛА RSP В РАМКАХ КОНЦЕПЦИИ КОНТРОЛИРУЕМОГО ВЫПОЛНЕНИЯ ВСТРАИВАЕМЫХ ПРИЛОЖЕНИЙ. Галатенко В.А., Костюхин К.А., Дзабраев М.Д. Программная инженерия. 2017. Т. 8. № 1. С. 3-6.

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

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

Место работы, должность: Публичное акционерное общество "Институт электронных управляющих машин им. И.С. Брука", начальник отделения «Системы программирования».

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

  1. Ермолицкий А.Е., Нейман-заде М.И., Четверина О.А., Маркин А.Л., Волконский В.Ю. Агрессивная инлайн-подстановка функций для VLIW-архитектур. // Труды ИСП РАН, Том 27, вып. 6, 2015 г.
  2. Русяев Р.М., Нейман-заде М.И., Ермолицкий А.Е., Волконский В.Ю. Программно-аппаратные средства выявления ошибок обращения к памяти для архитектуры «Эльбрус». //Вопросы радиоэлектроники, сер. ЭВТ вып. 2, 2017, №3. С.33-38.
  3. Ким А.К., Бычков И.Н., Волконский В.Ю., Воробушков В.В., Груздов Ф.А., Михайлов М.С., Нейман-заде М.И., Парахин Ю.Н., Семенихин С.В., Слесарев М.В., Фельдман В.М. Российские технологии "Эльбрус" для персональных компьютеров, серверов и суперкомпьютеров. // Современные информационные технологии и ИТ-образование. Сборник докладов 9-й международной научно-практической конференции, Москва, 14-16 ноября 2014. С.39-49.
  4. Ким А.К., Волконский В.Ю., Груздов Ф.А., Нейман-заде М.И., Тихорский В.В. Аппаратно-программные технологии, реализованные на базе микропроцессоров с архитектурой «Эльбрус». // Качество и жизнь. Научно-производственный и культурно-образовательный ж-л Миннауки. Специальный выпуск. 2016. С.81-89.
  5. Roman M. Rusiaev, Murad I. Neiman-Zade, Alexandr V. Ermolitsky, Valery I. Perekatov, and Vladimir Yu. Volkonsky. Various Buffer Overflow Detection Means for Elbrus Microprocessors. // IEEE Proceedins of the 2016 International Conference on Engineering and Telecommunication (EnT-2016). November 29, 2016. P.118-122.

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

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

Контактные данные: 119333, Москва, Вавилова, д.44, кор.2, +7 499 1356260, ipiran@ipiran.ru, www.frccsc.ru

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

  1. Nikolay A. Skvortsov, Leonid A. Kalinichenko, Dana A. Kovaleva, Oleg Y. Malkov. Search for hierarchical stellar systems of maximal multiplicity. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 219-225.
  2. Sergey Stupnikov. Formal Semantics of a Language for Entity Resolution and Data Fusion and its Application for Verification of Data Integration Workflows. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 159-167.
  3. Nikolay A. Skvortsov, Leonid A. Kalinichenko, Dmitry Yu. Kovalev. Conceptual modeling of subject domains in data intensive research. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 7-15.
  4. N. A. Skvortsov, E. A. Avvakumova, D. O. Bryukhov, A. E. Vovchenko, A. A. Volnova, O. B. Dluzhnevskaya, P. V. Kaygorodov, L. A. Kalinichenko, A. Yu. Knyazev, D. A. Kovaleva, O. Yu. Malkov, A. S. Pozanenko, and S. A. Stupnikov. Conceptual Approach to Astronomical Problems. Astrophysical Bulletin. 71(1):114-124, 2016.
  5. Stupnikov S. A., Briukhov D. O., Skvortsov N. A. Co-lending Systemic Risk Analysis over Heterogeneous Data Collections. Informatics and Applications. Moscow: IPI RAN, 2016. -- V. 10, Iss. 1. -- P. 24-34.
  6. Stupnikov Sergey, Miloslavskaya Natalia, Budzko Vladimir. Unification of Graph Data Models for Heterogeneous Security Information Resources’ Integration. Proc. of the 3rd International Conference on Future Internet of Things and Cloud. IEEE, 2015. -- P. 457-464.
  7. L. A. Kalinichenko, S. A. Stupnikov, A. E. Vovchenko, D. Y. Kovalev. Multi-Dialect Workflows. Advances in Databases and Information Systems: Proc. of the 18th East European Conference. LNCS 8716. -- Berlin-Heidelberg: Springer-Verlag, 2014. -- P. 352-365.
  8. Kalinichenko L. A., Stupnikov S. A., Vovchenko E. A., Kovalev D. Y. Conceptual Declarative Problem Specification and Solving in Data Intensive Domains. Informatics and Applications. Moscow: IPI RAN, 2013. -- V. 7, Iss. 4. -- P. 112-139.
  9. Kalinichenko L. A., Stupnikov S. A., Vovchenko E. A., Kovalev D. Y. Rule-based Multi-dialect Infrastructure for Conceptual Problem Solving over Heterogeneous Distributed Information Resources. New Trends in Databases and Information Systems. Selected Papers of the 17th European Conference on Advances in Databases and Information Systems and Associated Satellite Events. – Springer, 2013. Advances in Intelligent Systems and Computing, V. 241. – P. 61-68.

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

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

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

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