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


Четверина Ольга Александровна

Повышение качества компиляции кода в режиме по умолчанию

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

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

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

Дата размещения: 11 марта 2019.
Текст диссертации: Скачать

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

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

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

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

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

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

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

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

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

  1. Namiot, Dmitry “On lock-free programming patterns” WSEAS TRANSACTIONS on COMPUTERS 15 (2016):117-124
  2. Ilyushin, Evgeniy, and Dmitry Namiot. "On JavaScript Memory Leaks." International Journal of Open Information Technologies 3.7 (2015): 27-31.
  3. Ilyushin, Evgeniy, and Dmitry Namiot. "On Memory Management in JavaScript Applications." International Journal of Open Information Technologies 3.10 (2015): 11-15.
  4. Namiot, Dmitry, and Vladimir Sukhomlin. "JavaScript Concurrency Models." International Journal of Open Information Technologies 3.6 (2015): 21-24.
  5. Sneps-Sneppe, Manfred, and Dmitry Namiot. "On web-based domain-specific language for internet of things." 2015 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). IEEE, 2015.

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

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

Контактные данные: 119333, Москва, ул.Вавилова, 44 корп. 2, 8(499)135-62-60, ipiran@ipiran.ru, www.ipiran.ru

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

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  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.

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

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

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

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