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


Герасимов Александр Юрьевич

Классификация предупреждений о программных ошибках методом динамического символьного исполнения программ

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

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

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

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

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

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

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

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

  1. A.A. Aksenov, A.V. Zhluktov, D.P. Silaev, S.A. Kharchenko, V.A. Ilyin, A.V. Pechenyuk, E.A. Ryabinkin, V.E. Velikhov. Investigating the Problems of Ship Propulsion on a Supercomputer. Proceedings of 2017 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE Computer Society, ISBN 978-1-5386-1132-6, p.124-131, 2018. DOI: 10.1109/ISPRAS.2017.00027
  2. A.A. Danshin, M.I. Gurevich, V.A. Ilyin, A.A. Kovalishin, V.E. Velikhov. The Extension of the Monte Carlo Method for Neutron Transfer Problems Calculating to the Problems of Quantum Mechanics. Lobachevskii Journal of Mathematics, v.39, No.4, p.513–523, 2018. DOI: 10.1134/S1995080218040066
  3. Boos E.E., Bunichev V.E., Dubinin M.N., Ilyin V.A., Savrin V.I. CompHEP: developments and applications. IOP Conf. Series: Journal of Physics: Conf. Series, v.920, №1, p.012007, 2017. DOI: 10.1088/1742-6596/920/1/012007
  4. A. Polyakov, D. Kokovin, A. Poida, M. Zhizhin, A. Andreev, V. Ilyin. Toolkit for intensive work with metadata in specialized information systems. Procedia Computer Science, Elsevier B.V., v.119, p.59-64, 2017. DOI: 10.1016/j.procs.2017.11.160
  5. 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
  6. С.А. Бобков, А.Б. Теслюк, О.Ю. Горобцов, О.М. Ефанов, Р.П. Курта, В.А. Ильин, М.В. Голосова, И.А. Вартаньянц. “Метод представления дифракционных изображений XFEL для классификации, индексации и поиска”. Компьютерные исследования и моделирование, 2015, т.7, №3, с.631-639.
  7. 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

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

Официальный оппонент: Волконский Владимир Юрьевич, кандидат технических наук (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 г.

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

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

Контактные данные: 117218, г.Москва, Нахимовский просп., 36 к.1, +7(495)718-21-10, niisi@niisi.msk.ru, https://www.niisi.ru/

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

  1. Редько В.Г. Моделирование когнитивной эволюции: На пути к теории эволюционного происхождения мышления. Изд. 2, испр. и доп. М: URSS/ЛЕНАНД, 2018.
  2. Red’ko V.G. Modeling of Cognitive Evolution. Toward the Theory of Evolutionary Origin of Human Thinking. Moscow: URSS/KRASAND, 2018.
  3. Red’ko V.G., Sokhova Z.B. Model of collective behavior of investors and producers in decentralized economic system // Procedia Computer Science. 2018. Vol. 123. PP. 380–385.
  4. Редько В.Г., Сохова З.Б. Модель взаимодействия инвесторов и производителей в прозрачной экономической системе // Экономика и математические методы. 2018. Т. 54. № 2. С. 50–61.
  5. Saakian D.B, Red’ko V.G. Sysers: The important model of self-reproducing system // Biologically Inspired Cognitive Architectures. 2018. Vol. 25. PP. 115–121.
  6. Kryzhanovsky B.V., Litinskii L.B. Applicability of n-vicinity method for calculation of free energy of Ising model // Physica A. 2017. Vol. 468. PP. 493–507.
  7. Karandashev I.M., Malsagov M. Yu. Polynomial algorithm for exact calculation of partition function for binary spin model on planar graphs // Optical Memory and Neural Networks. 2017. Vol. 26. No. 2. PP. 87–95
  8. Negrov D, Karandashev I., V. Shakirov V., Matveyev Yu., Dunin-Barkowski W., Zenkevich A. An approximate backpropagation learning rule for memristor based neural networks using synaptic plasticity // Neurocomputing. 2017. Vol. 237. PP. 193–199.
  9. Котов В.Б. К вопросу о формировании целей // XIX Международная научно-техническая конференция Нейроинформатика-2017. Сборник научных трудов. Часть 1. М.: НИЯУ МИФИ, 2017. С. 182–192.
  10. Смирнитская И.А. Павловско-инструментальный перенос и система, управляющая поведенческим выбором // XIX Международная конференция Нейроинформатика-2017. Сборник научных трудов. Часть 2. С. 123–131.
  11. Red’ko V.G. Mechanisms of interaction between learning and evolution // Biologically Inspired Cognitive Architectures. 2017. Vol. 22. PP. 95–103.
  12. Red’ko V.G., Sharipova T.I., Beskhlebnova G.A. Modeling of searching agent behavior by means of neural gas // Procedia Computer Science. 2016. Vol. 88. PP. 409–414.
  13. Red’ko V.G. Epistemological foundations of investigation of cognitive evolution // Biologically Inspired Cognitive Architectures. 2016. Vol. 18. PP. 105–115.
  14. Red’ko V.G., Burtsev M.S. Modeling of mechanism of plan formation by New Caledonian crows // Procedia Computer Science. 2016. Vol. 88. PP. 403–408.
  15. Red’ko V.G., Nepomnyashchikh V.A., Osipova E.A. Models of fish exploratory behavior in mazes // Biologically Inspired Cognitive Architectures. 2015. Vol. 13. PP. 9–16.

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

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

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

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