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


Батузов Кирилл Андреевич

Исследование и разработка методов оптимизации программ для систем динамической двоичной трансляции

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

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

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

Дата размещения: 2018-03-21.
Текст диссертации: Скачать

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

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

Место работы, должность: Национальный исследовательский центр «Курчатовский институт», начальник отдела Курчатовского комплекса НБИКС-технологий.

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

  1. S.A. Bobkov, A.B. Teslyuk, V.A. Ilyin. "Adaptation of SPSIM for simulation of diffraction images in XFEL experiments", Procedia Computer Science, 2015, v.66, p.1-4. DOI:10.1016/j.procs.2015.11.002
  2. С.А. Бобков, А.Б. Теслюк, О.Ю. Горобцов, О.М. Ефанов, Р.П. Курта, В.А. Ильин, М.В. Голосова, И.А. Вартаньянц. “Метод представления дифракционных изображений XFEL для классификации, индексации и поиска”. Компьютерные исследования и моделирование, 2015, т.7, №3, с.631-639.
  3. Andrey Aksenov, Andrey Pechenyuk, Alexey Poyda, Eygene Ryabinkin, Igor Tkachenko, Viacheslav Ilyin and Vasily Velikhov. “Virtual Basin for Simulating Ship Sailing Qualities on HPC Resources”, Procidia Computer Science, 2015, v.66, pp.132-139. DOI:10.1016/j.procs.2015.11.016
  4. A. Berezhnaya, …, V. Ilyin, et al. "LHC Grid Computing in Russia: present and future", Journal of Physics Conference Series, 2014, v.513, p.062041. DOI:10.1088/1742-6596/513/6/062041
  5. Демичев А.П., Ильин В.А., Крюков А.П., Поляков С.П. «Устойчивость работы регулярных и стохастических коммуникационных сетей со свойствами малого мира». Вычислительные методы и программирование: Новые вычислительные технологии, 2014, т.15, №1, с 36-48.
  6. Andrey Demichev, Viatcheslav Ilyin, Alexander Kryukov, Stanislav Polyakov. "A Quality and Cost Approach for the Comparison of Small-World Interconnection Networks", Journal of Interconnection Networks, World Scientific (United States), v.14, № 02, p.1350008-1-1350008-27, 2013. DOI:10.1142/S0219265913500084
  7. Демичев А. П., …, Ильин В.А. и др. «Сравнительный анализ алгоритмов построения больших коммуникационных сетей со свойствами “малого мира”, Вестник Уфимского государственного авиационного технического университета, 2013, т.17, №.5, с. 58.

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

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

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

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

  1. Русяев Р.М., Нейман-заде М.И., Ермолицкий А.Е., Волконский В.Ю. Программно-аппаратные средства выявления ошибок обращения к памяти для архитектуры «Эльбрус». //Вопросы радиоэлектроники, сер. ЭВТ вып. 2, 2017, №3. С.33-38.
  2. Ким А.К., Волконский В.Ю., Груздов Ф.А., Нейман-заде М.И., Тихорский В.В. Аппаратно-программные технологии, реализованные на базе микропроцессоров с архитектурой «Эльбрус». // Качество и жизнь. Научно-производственный и культурно-образовательный ж-л Миннауки. Специальный выпуск. 2016. С.81-89.
  3. 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.
  4. Ермолицкий А.Е., Нейман-заде М.И., Четверина О.А., Маркин А.Л., Волконский В.Ю. Агрессивная инлайн-подстановка функций для VLIW-архитектур. // Труды ИСП РАН, Том 27, вып. 6, 2015 г.
  5. Ким А.К., Бычков И.Н., Волконский В.Ю., Воробушков В.В., Груздов Ф.А., Михайлов М.С., Нейман-заде М.И., Парахин Ю.Н., Семенихин С.В., Слесарев М.В., Фельдман В.М. Российские технологии "Эльбрус" для персональных компьютеров, серверов и суперкомпьютеров. // Современные информационные технологии и ИТ-образование. Сборник докладов 9-й международной научно-практической конференции, Москва, 14-16 ноября 2014. С.39-49.

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

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

Контактные данные: 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.
  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 из 21 членов диссертационного совета: Томилин А.Н., Петренко А.К., Зеленов С.В., Абрамов С.А., Бурдонов И.Б., Дроздов А.Ю., Жданов А.А., Захаров В.Н., Карпов Л.Е., Крюков В.А., Кузюрин Н.Н., Лаврищева Е.М., Позин Б.А., Серебряков В.А., Шнитман В.З.

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