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


Головешкин Алексей Валерьевич

Устойчивая алгоритмическая привязка к коду программы

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

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

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

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

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

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

Место работы, должность: Национальный исследовательский университет «Высшая школа экономики», профессор департамента программной инженерии факультета компьютерных наук.

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

  1. МЕТОДЫ ПРЕОБРАЗОВАНИЯ ПАРАЛЛЕЛИЗМА В ПРОЦЕССЕ ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС. Рыженко И.Н., Непомнящий О.В., Легалов А.И., Шайдуров В.В. Моделирование и анализ информационных систем. 2022. Т. 29. № 1. С. 60-72.
  2. ТРАНСФОРМАЦИЯ МОДЕЛИ ПАМЯТИ ЯЗЫКА ПРОГРАММИРОВАНИЯ C В ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРЕДСТАВЛЕНИЕ НА ЯЗЫКЕ EO. Легалов А.И., Бугаенко Е.Г., Чуйкин Н.К., Шипицин М.В., Рябцев Я.И., Каменский А.Н. Моделирование и анализ информационных систем. 2022. Т. 29. № 3. С. 246-264.
  3. PARALLELISM REDUCTION METHOD IN THE HIGH-LEVEL VLSI SYNTHESIS IMPLEMENTATION. Romanova D.S., Nepomnyashchiy O.V., Ryzhenko I.N., Legalov A.I., Sirotinina N.Y. Proceedings of the Institute for System Programming of the RAS. 2022. Т. 34. № 1. С. 59-72.
  4. МЕТОДЫ РЕДУКЦИИ ПАРАЛЛЕЛИЗМА В ПРОЦЕССЕ ВЫСОКОУРОВНЕГО СИНТЕЗА ЦИФРОВЫХ ИНТЕГРАЛЬНЫХ СХЕМ. Романова Д.С., Непомнящий О.В., Легалов А.И., Рыженко И.Н., Сиротинина Н.Ю. Программная инженерия. 2022. Т. 13. № 6. С. 259-271.
  5. DYNAMICALLY CHANGING PARALLELISM WITH ASYNCHRONOUS SEQUENTIAL DATA FLOWS. Legalov A.I., Matkovskii I.V., Ushakova M.S., Romanova D.S. Automatic Control and Computer Sciences. 2021. Т. 55. № 7. С. 636-646.
  6. ТРАНСФОРМАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ В ИМПЕРАТИВНЫЕ. Васильев В.С., Легалов А.И., Зыков С.В. Моделирование и анализ информационных систем. 2021. Т. 28. № 2. С. 198-214.
  7. ДОБАВЛЕНИЕ СТАТИЧЕСКОЙ ТИПИЗАЦИИ В ЯЗЫК ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ. Легалов А.И., Легалов И.А., Матковский И.В. Электронные библиотеки. 2020. Т. 23. № 4. С. 788-807.
  8. ОПТИМИЗАЦИЯ ГРАФОВ ПОТОКА УПРАВЛЕНИЯ В ПРОМЕЖУТОЧНЫХ ПРЕДСТАВЛЕНИЯХ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ. Васильев В.С., Легалов А.И. Научный вестник Новосибирского государственного технического университета. 2020. № 4 (80). С. 37-46.
  9. ДИНАМИЧЕСКИ ИЗМЕНЯЮЩИЙСЯ ПАРАЛЛЕЛИЗМ С АСИНХРОННО-ПОСЛЕДОВАТЕЛЬНЫМИ ПОТОКАМИ ДАННЫХ. Легалов А.И., Матковский И.В., Ушакова М.С., Романова Д.С. Моделирование и анализ информационных систем. 2020. Т. 27. № 2. С. 164-179.
  10. ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА КОНСТРУИРОВАНИЯ СРЕДЫ МНОГОКРИТЕРИАЛЬНОГО АНАЛИЗА, ОРИЕНТИРОВАННОЙ НА ТРЕБУЕМУЮ ПРЕДМЕТНУЮ ОБЛАСТЬ. Иванов Н.Д., Легалов А.И., Анкудинов А.В., Постников А.И. Успехи современной радиоэлектроники. 2018. № 12. С. 77-83.
  11. ОПТИМИЗАЦИЯ ИНВАРИАНТА ЦИКЛА В ЯЗЫКЕ ПИФАГОР. Васильев В.С., Легалов А.И. Моделирование и анализ информационных систем. 2018. Т. 25. № 4 (76). С. 347-357.
  12. LOOP-INVARIANT OPTIMIZATION IN THE PIFAGOR LANGUAGE. Vasilev V.S., Legalov A.I. Automatic Control and Computer Sciences. 2018. Т. 52. № 7. С. 843-849.
  13. ВЕРИФИКАЦИЯ ПРОГРАММ СО ВЗАИМНОЙ РЕКУРСИЕЙ НА ЯЗЫКЕ ПИФАГОР. Ушакова М.С., Легалов А.И. Моделирование и анализ информационных систем. 2018. Т. 25. № 4 (76). С. 358-381.
  14. VERIFICATION OF PROGRAMS WITH MUTUAL RECURSION IN PIFAGOR LANGUAGE. Ushakova M.S., Legalov A.I. Automatic Control and Computer Sciences. 2018. Т. 52. № 7. С. 850-866.
  15. МЕТОД АРХИТЕКТУРНО-НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС. Непомнящий О.В., Рыженко И.Н., Легалов А.И. Известия ЮФУ. Технические науки. 2018. № 8 (202). С. 38-47.

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

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

Место работы, должность: Автономная некоммерческая организация высшего образования «Университет Иннополис», руководитель лаборатории операционных систем, языков программирования и компиляторов.

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

  1. ОПРЕДЕЛЕНИЕ НАПРЯЖЕННО-ДЕФОРМИРОВАННОГО СОСТОЯНИЯ БАЗОВЫХ ДЕТАЛЕЙ СЛОЖНОЙ ФОРМЫ МЕТОДОМ КОНЕЧНЫХ ЭЛЕМЕНТОВ И ПРИ ПОМОЩИ ЭЛЕКТРОТЕНЗОМЕТРИИ. Зуев Е.А., Воробьёв А.К., Зуева М.Н. Сборка в машиностроении, приборостроении. 2022. № 1. С. 18-22.
  2. ТЕСТИРУЕМ ЖЕЛЕЗО ПОД SOLIDWORKS SIMULATION. Зуев Е. САПР и графика. 2021. № 1 (291). С. 28-31.
  3. ЧТО ТАКОЕ ПАРАМЕТРЫ HVAC И ЗАЧЕМ ИХ РАССЧИТЫВАЮТ. Зуев Е. САПР и графика. 2021. № 9 (299). С. 42-43.
  4. ОБЕСПЕЧЕНИЕ ДОЛГОВЕЧНОСТИ КОЛОНН ГИДРАВЛИЧЕСКИХ ПРЕССОВ С ПОМОЩЬЮ БАНДАЖИРОВАНИЯ ГАЙКИ ПРИ ЧАСТИЧНОМ РАЗРУШЕНИИ РЕЗЬБЫ. Зуев Е.А., Воробьёв А.К., Зуева М.Н. Сборка в машиностроении, приборостроении. 2021. № 12. С. 568-571.
  5. ПОДДЕРЖКА ВРАЩАЮЩИХСЯ ОБЛАСТЕЙ В ЗАДАЧАХ СО СВОБОДНОЙ ПОВЕРХНОСТЬЮ - ОДНА ИЗ САМЫХ ОЖИДАЕМЫХ ФУНКЦИЙ В SOLIDWORKS FLOW SIMULATION 2021. Зуев Е. САПР и графика. 2020. № 10 (288). С. 58-59.
  6. ПРЕИМУЩЕСТВА ТРЕХМЕРНОГО МОДЕЛИРОВАНИЯ В СРЕДЕ SOLIDWORKS. Зуев Е. САПР и графика. 2020. № 3 (281). С. 60-61.
  7. ПРИЧИНЫ РАЗРУШЕНИЙ ГЛАВНЫХ ЦИЛИНДРОВ И ТЕХНИЧЕСКИЕ РЕШЕНИЯ, ПРИНЯТЫЕ ДЛЯ ИХ ПРЕДУПРЕЖДЕНИЯ. Воробьёв А.К., Зуев Е.А. Прогрессивные технологии и системы машиностроения. 2020. № 2 (69). С. 3-8.
  8. ОПРЕДЕЛЕНИЕ НАПРЯЖЕННО-ДЕФОРМИРОВАННОГО СОСТОЯНИЯ КОЛОНН ГИДРАВЛИЧЕСКИХ ПРЕССОВ МЕТОДОМ ЭЛЕКТРОТЕНЗОМЕТРИИ. Зуев Е.А., Зуева М.Н. Справочник. Инженерный журнал. 2019. № 8 (269). С. 27-30.
  9. ПОДГОТОВКА ГЕОМЕТРИИ САПР К АНАЛИЗУ В SOLIDWORKS SIMULATION. Зуев Е. САПР и графика. 2019. № 8 (274). С. 34-35.
  10. ОБНОВЛЕНИЕ ТЯЖЕЛЫХ МАШИН В ПЕРИОД ЭКОНОМИЧЕСКИХ САНКЦИЙ НА ОСНОВЕ ИННОВАЦИОННЫХ ПРОЕКТОВ. Воробьев А.К., Зуев Е.А., Сурков И.А. Тяжелое машиностроение. 2019. № 5-6. С. 11-13.

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

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

Контактные данные: 125047, Москва, Миусская пл., д.4, +7(499)978-13-14, office@keldysh.ru, keldysh.ru

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

  1. ИСПОЛЬЗОВАНИЕ ПРЯМОУГОЛЬНЫХ СЕТОК СОВМЕСТНО С ПРОЕКЦИОННЫМ МЕТОДОМ ТЕТРАЭДРИЗАЦИИ ДЛЯ РАСПРЕДЕЛЁННОЙ ГЕНЕРАЦИИ ТЕТРАЭДРАЛЬНОЙ СЕТКИ. Григорьев С.К., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2020). Короткие статьи и описания плакатов. 2020. С. 128-132.
  2. ИССЛЕДОВАНИЕ ЛУЧИСТОГО ПЕРЕНОСА ТЕПЛА С ПАРАЛЛЕЛЬНОЙ РЕАЛИЗАЦИЕЙ ВЫЧИСЛЕНИЙ. Корявка Н.А., Якобовский М.В., Ольховская О.Г. Параллельные вычислительные технологии (ПаВТ2020). Короткие статьи и описания плакатов. 2020. С. 152-162.
  3. Frolov V.A., Galaktionov V.A., Barladyan B.H. Comparative study of high performance software rasterization techniques // Mathematica Montisnigri. 2020. Vol. 47. pp. 152-175. DOI: 10.20948/mathmontis-2020-47-13
  4. Санжаров В.В., Фролов В.А., Галактионов В.А. Исследование технологии Nvidia RTX // Программирование. 2020. № 4. с. 65-72. DOI: 10.31857/s0132347420030061
  5. ВОССТАНОВЛЕНИЕ РАСЧЕТОВ МЕТОДОМ ДИФФУЗНОЙ БАЛАНСИРОВКИ НАГРУЗКИ. Бондаренко А.А., Григорьев С.К., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2019). Короткие статьи и описания плакатов XIII Международной научной конференции. 2019. С. 175-185.
  6. АЛГОРИТМЫ АДАПТИВНОГО ИЗМЕЛЬЧЕНИЯ ТРЕХМЕРНЫХ РАСЧЕТНЫХ СЕТОК. Грузинцев И.О., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2019). Короткие статьи и описания плакатов XIII Международной научной конференции. 2019. С. 223-231.
  7. PARALLEL RAY TRACING ALGORITHM FOR NUMERICAL ANALYSIS OF LASER RADIATION ABSORPTION IN A PLASMA. Kotelnikov A., Tsygvintsev I., Yakobovsky M., Gasilov V. Communications in Computer and Information Science (см. в книгах). 2019. Т. 1129 CCIS. С. 110-120.
  8. NUMERICAL ALGORITHMS FOR HPC SYSTEMS AND FAULT TOLERANC. Chetverushkin B.N., Yakobovskiy M.V., Kornilina M.A., Semenova A.V. Communications in Computer and Information Science (см. в книгах). 2019. Т. 1063. С. 34-44.
  9. КООРДИНИРОВАННОЕ СОХРАНЕНИЕ С ЖУРНАЛИРОВАНИЕМ ПЕРЕДАВАЕМЫХ ДАННЫХ И АСИНХРОННОЕ ВОССТАНОВЛЕНИЕ В СЛУЧАЕ ОТКАЗА. Бондаренко А.А., Ляхов П.А., Якобовский М.В. Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика. 2019. Т. 8. № 2. С. 76-91.
  10. Shcherbakov A.S., Frolov V.A. Implementation of the Radiosity algorithm for large scale scenes // CEUR Workshop Proceedings. 2019. Vol. 2485. pp. 13-17. DOI: 10.30987/graphicon-2019-2-13-17
  11. Sanzharov V.V., Frolov V.A., Pavlov I.V. Restricted extensions for GPU photo-realistic renderer // CEUR Workshop Proceedings. 2019. Vol. 2485. pp. 37-42. DOI: 10.30987/graphicon-2019-2-37-42
  12. Grechanik S. A. Polyprograms and polyprogram bisimulation //Моделирование и анализ информационных систем. – 2018. – Т. 25. – №. 5. – С. 534-548.
  13. Adamovich I. A., Klimov A. V. An interactive specializer based on partial evaluation for a Java subset //Труды института системного программирования РАН. – 2018. – Т. 30. – №. 4. – С. 29-44.
  14. Климов А. В., Романенко С. А. Суперкомпиляция: основные принципы и базовые понятия //Препринты Института прикладной математики им. МВ Келдыша РАН. – 2018. – №. 0. – С. 111-36.
  15. Романенко С. А. и др. Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления //Препринты ИПМ им. МВ Келдыша. – 2018. – №. 209. – С. 1-32.

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