brand

Защита диссертации - Саргсян Севак Сеникович


Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым
06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации
24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

Саргсян Севак Сеникович

Методы оптимизации алгоритмов статического и динамического анализа программ

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

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

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

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

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

Официальный оппонент: Шабанов Борис Михайлович, доктор технических наук (05.13.15).

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

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

  1. Абрамов А.Г., Евсеев А.В., Гончар А.А., Шабанов Б.М. Вопросы увеличения пропускной способности и территориальной доступности национальной исследовательской компьютерной сети России // Системы и средства информатики. 2022. №2(32). С. 4-12. DOI: 10.14357/08696527220201
  2. Shabanov B., Baranov A., Telegin P., Tikhomirov A. Influence of Execution Time Forecast Accuracy on the Efficiency of Scheduling Jobs in a Distributed Network of Supercomputers // In: Malyshkin V. (eds) Parallel Computing Technologies. Lecture Notes in Computer Science. 2021. Vol. 12942. DOI: 10.1007/978-3-030-86359-3_25
  3. Abramov A., Evseev A., Gonchar A., Shabanov B. National Research Computer Network of Russia as an Infrastructure and Service Platform for a Common Digital Space of Scientific Knowledge // CEUR Workshop Proceedings (CEUR-WS.org). 2021. Vol. 2990. P. 75-83.  DOI: 10.51218/1613-0073-2990-75-83
  4. Abramov A.G., Evseev A.V., Gonchar A.A., Telegin P.N., Shabanov B.M. National Research Computer Network of Russia: regulatory status and plans for the development of regional telecommunications infrastructure in 2021-2024 // CEUR Workshop Proceedings. 2021. Vol. 2930. P. 29-37.
  5. Abramov A.G., Gonchar A.A., Evseev A.V., Shabanov B.M. National Research Computer Network of Russia: development plans, role and facilities in ensuring the functioning of the National Supercomputer Infrastructure // Communications in Computer and Information Science. 2021. Vol. 1510. P. 472-486. DOI: 10.1007/978-3-030-92864-3_36
  6. Абрамов А.Г., Гончар А.А., Евсеев А.В., Шабанов Б.М. Разработка критериев подключения научных и образовательных организаций к Национальной исследовательской компьютерной сети // Информационные технологии и вычислительные системы. 2021. №2. C. 22-33. DOI: 10.14357/20718632210203
  7. Дикарев Н.И., Шабанов Б.М., Шмелёв А.С. Преимущества и недостатки использования метода векторов указателей в векторном потоковом процессоре // Программные системы: теория и приложения. 2021. 12:4(51). С. 65–83. DOI: 10.25209/2079-3316-2021-12-4-65-83
  8. Kiselev E.A., Telegin P.N., Shabanov B.M. An Energy-Efficient Scheduling Algorithm for Shared Facility Supercomputer Centers // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2554-2561. DOI: 10.1134/S1995080221110147
  9. Aladyshev O.S., Kiselev E.A., Zakharchenko A.V., Shabanov B.M., and Savin G.I. Influence of External Memory Characteristics of Supercomputer Complexes on Parallel Programs Execution // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2493-2502. DOI: 10.1134/S1995080221110044 (Scopus, ядро РИНЦ)
  10. Shabanov B.M., Rybakov A.A., Shumilin S.S., Vorobyov M.Yu. Scaling of supercomputer calculations on unstructured surface computational meshes // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2571-2579. DOI: 10.1134/S1995080221110202
  11. Anton Baranov, Gennadiy Savin, Boris Shabanov, Dmitriy Lyakhovets, Pavel Telegin . Simulator of a Supercomputer Job Management System as a Scientific Service // Annals of Computer Science and Information Systems, vol. 21, pages 413–416 (2020). DOI:10.15439/2020F208
  12. Kiselev E.A., Kiselev V.I., Savin G.I., Shabanov B.M., Aladyshev O.S., Baranov A.V. A method of the supercomputers energy efficiency evaluating by the parallel program energy profile // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2542-2551 DOI:10.1134/S1995080220120161
  13. G.I. Savin, B.M. Shabanov, D.S. Nikolaev, P.N. Telegin, A.V.Baranov . Jobs runtime forecast based on MVS-100K and MVS-10P supercomputers statistics // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2594-2603. DOI:10.1134/S1995080220120343
  14. G.I. Savin, B.M. Shabanov, Baranov A.V., Telegin P.N., Fedorov R.S. Checkpointing tools in a supercomputer center // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c.. DOI: 10.1134/S1995080220120355
  15. G.I.Savin, B.M.Shabanov, A.A.Rybakov, S.S.Shumilin. - Vectorization of Flat Loops of Arbitrary Structure Using Instructions AVX-512 // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2604-2614. DOI: 10.1134/S1995080220120331

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

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

Место работы, должность: Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет», профессор.

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

  1. CALCULATING SIMILARITY OF JAVADOC COMMENTS Koznov D.V., Ledeneva E.Yu., Luciv D.V., Braslavski P.I. Programming and Computer Software. 2024. Т. 50. № 1. С. 85-89.
  2. ОБОБЩЕННЫЙ АЛГОРИТМ СУММИРОВАНИЯ ПЕРЕЧИСЛИТЕЛЕЙ В ЗАДАЧАХ ДИСКРЕТНОЙ ОПТИМИЗАЦИИ В КОНТЕКСТЕ УПРАВЛЕНИЯ МАСТЕР-ДАННЫМИ Кузнецов С.В., Кознов Д.В. Дифференциальные уравнения и процессы управления. 2024. № 1. С. 70-77.
  3. DEBUGGER FOR DECLARATIVE DSL FOR TELECOMMUNICATION Skazhenik T.M., Koznov D.V. Proceedings of the Institute for System Programming of the RAS. 2023. Т. 35. № 3. С. 205-214.
  4. SYMCRETE” MEMORY MODEL WITH LAZY INITIALIZATION AND OBJECTS OF SYMBOLIC SIZES IN KLEE Morozov S.A., Misonizhnik A.V., Mordvinov D.A., Koznov D.V., Ivanov D.A. Proceedings of the Institute for System Programming of the RAS. 2023. Т. 35. № 3. С. 91-108.
  5. АВТОМАТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ СХОДСТВА JAVADOC-КОММЕНТАРИЕВ Кознов Д.В., Леденева Е.Ю., Луцив Д.В., Браславский П.И. Труды Института системного программирования РАН. 2023. Т. 35. № 4. С. 177-186.
  6. TRACESIM: AN ALIGNMENT METHOD FOR COMPUTING STACK TRACE SIMILARITY Rodrigues I.M., Aloise D., Khvorov A., Vasiliev R., Povarov N., Koznov D., Chernishev G., Luciv D., Fernandes E.R. Empirical Software Engineering. 2022. Т. 27. № 2.
  7. ОНТОЛОГИЧЕСКИ УПРАВЛЯЕМЫЕ СРЕДСТВА АВТОМАТИЗАЦИИ РАЗРАБОТКИ ПРИЛОЖЕНИЙ ВИЗУАЛЬНОЙ АНАЛИТИКИ Чуприна С.И., Рябинин К.В., Кознов Д.В., Маткин К.А. Программирование. 2022. № 3. С. 70-77.
  8. ФОРМАЛИЗАЦИЯ ЯЗЫКОВ ЧАСТИЧНО УПОРЯДОЧЕННЫХ МУЛЬТИМНОЖЕСТВ В СИСТЕМЕ COQ ДЛЯ СПЕЦИФИКАЦИИ СЛАБЫХ МОДЕЛЕЙ ПАМЯТИ Моисеенко Е.А., Гладштейн В.П., Подкопаев А.В., Кознов Д.В. Научно-технический вестник информационных технологий, механики и оптики. 2022. Т. 22. № 3. С. 517-527.
  9. МОДЕЛИ ПАМЯТИ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ: ОБЗОР И ТЕНДЕНЦИИ Моисеенко Е.А., Подкопаев А.В., Кознов Д.В. Программирование. 2021. № 6. С. 30-50.
  10. UNIDATA: ОТКРЫТАЯ КОМПОНЕНТНАЯ ПЛАТФОРМА ДЛЯ РАЗРАБОТКИ MDM-РЕШЕНИЙ Кузнецов С.В., Цырюльников А.В., Кознов Д.В. Труды Института системного программирования РАН. 2021. Т. 33. № 6. С. 149-160.
  11. УПРАВЛЕНИЕ МАСТЕР-ДАННЫМИ В РАМКАХ ИТЕРАТИВНОГО ПОДХОДА Кузнецов C.B., Кознов Д.B. Онтология проектирования. 2021. Т. 11. № 2 (40). С. 170-184.
  12. STATIC CHECKING CONSISTENCY OF TEMPORAL REQUIREMENTS FOR CONTROL SOFTWARE Garanina N., Koznov D. Communications in Computer and Information Science. 2021. Т. 1481. С. 189-203.
  13. VISUAL LANGUAGE FOR DEVICE MANAGEMENT IN TELECOMMUNICATION PRODUCT LINE Semenov E., Kai S., Gen C., Luciv D., Koznov D. Communications in Computer and Information Science. 2021. Т. 1481. С. 204-216.
  14. AN ONTOLOGY-BASED APPROACH TO SUPPORT FORMAL VERIFICATION OF CONCURRENT SYSTEMS. Garanina N., Anureev I., Sidorova E., Zyubin V., Koznov D., Gorlatch. Lecture Notes in Computer Science. 2020. Т. 12232 LNCS. С. 114-130.

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

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

Место работы, должность: Объединенный институт ядерных исследований, научный руководитель.

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

  1. ВЕРИФИКАЦИЯ ПРОГРАММЫ МОДЕЛИРОВАНИЯ ДЛЯ СОЗДАНИЯ ЦИФРОВЫХ ДВОЙНИКОВ РАСПРЕДЕЛЕННЫХ ЦЕНТРОВ СБОРА, ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ. Пряхина Д.И., Кореньков В.В., Трофимов В.В., Герценбергер К.В. International Journal of Open Information Technologies. 2024. Т. 12. № 1. С. 118-128.
  2. АКТУАЛЬНОСТЬ СОЗДАНИЯ ЦИФРОВОГО ДВОЙНИКА ДЛЯ УПРАВЛЕНИЯ РАСПРЕДЕЛЕННЫМИ ЦЕНТРАМИ СБОРА, ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ. Пряхина Д.И., Кореньков В.В. Современные информационные технологии и ИТ-образование. 2023. Т. 19. № 2. С. 262-271.
  3. МЕТОД ПОСТРОЕНИЯ ЦИФРОВЫХ ДВОЙНИКОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ ЭФФЕКТИВНОГО УПРАВЛЕНИЯ И РАЗВИТИЯ РАСПРЕДЕЛЕННЫХ ЦЕНТРОВ СБОРА, ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ. Пряхина Д.И., Кореньков В.В., Трофимов В.В. Современные информационные технологии и ИТ-образование. 2023. Т. 19. № 2. С. 272-281.
  4. RECONSTRUCTION OF DECAYS TO MERGED PHOTONS USING END-TO-END DEEP LEARNING WITH DOMAIN CONTINUATION IN THE CMS DETECTOR. Tumasyan A., Adam W., Andrejkovic J.W., Bergauer T., Chatterjee S., Damanakis K., Dragicevic M., Del Valle A.E., Frühwirth R., Jeitler M., Krammer N., Lechner L., Liko D., Mikulec I., Paulitsch P., Pitters F.M., Schieck J., Schöfbeck R., Schwarz D., Templ S. et al. Physical Review D. 2023. Т. 108. № 5. С. 052002.
  5. DIRAC AT JINR AS A GENERAL PURPOSE SYSTEM FOR MASSIVE COMPUTATIONS. Korenkov V., Pelevanyuk I., Tsaregorodtsev A. Journal of Physics: Conference Series. 2023. Т. 2438. № 1. С. 012029.
  6. INTELLIGENT SYSTEM FOR REMOTE CONTROL OF LIQUID NITROGEN PRESSURE AND FLOW IN THE CRYOGENIC SYSTEM OF SUPERCONDUCTING MAGNETS: HARDWARE AND SOFTWARE PLATFORM. Butenko A.V., Zrelov P.V., Korenkov V.V., Kostromin S.A., Nikiforov D.N., Reshetnikov A.G., Semashko S.V., Trubnikov G.V., Ulyanov S.V. Physics of Particles and Nuclei Letters. 2023. Т. 20. № 2. С. 172-182.
  7. SIMULATION RESULTS OF BM@N COMPUTING INFRASTRUCTURE. Priakhina D., Korenkov V., Trofimov V., Gertsenberger K. Physics of Particles and Nuclei Letters. 2023. Т. 20. № 5. С. 1272-1275.
  8. ПРОГРАММНЫЙ КОМПЛЕКС ДЛЯ СОЗДАНИЯ ЦИФРОВЫХ ДВОЙНИКОВ РАСПРЕДЕЛЕННЫХ ЦЕНТРОВ СБОРА, ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ. Кореньков В.В., Пряхина Д.И., Трофимов В.В. Свидетельство о регистрации программы для ЭВМ 2023667305, 14.08.2023. Заявка № 2023665363 от 20.07.2023.
  9. IDENTIFICATION OF HADRONIC TAU LEPTON DECAYS USING A DEEP NEURAL NETWORK. Tumasyan A., Adam W., Andrejkovic J.W., Bergauer T., Chatterjee S., Dragicevic M., Escalante Del Valle A., Frühwirth R., Jeitler M., Krammer N., Lechner L., Liko D., Mikulec I., Paulitsch P., Pitters F.M., Schieck J., Schöfbeck R., Schwarz D., Templ S., Waltenberger W. et al. Journal of Instrumentation. 2022. Т. 17. № 7. С. P07023.
  10. ОЦЕНКА ВОЗМОЖНОСТЕЙ КЛАССИЧЕСКИХ КОМПЬЮТЕРОВ ПРИ РЕАЛИЗАЦИИ СИМУЛЯТОРОВ КВАНТОВЫХ АЛГОРИТМОВ. Ульянов С.В., Рябов Н.В., Зрелов П.В., Иванцова О.В., Кореньков В.В. Программные продукты и системы. 2022. № 4. С. 618-630.
  11. TRENDS AND PROSPECTS OF THE DEVELOPMENT OF DISTRIBUTED COMPUTING AND BIG DATA ANALYTICS FOR SUPPORT OF MEGASCIENCE PROJECTS. Korenkov V.V. Physics of Atomic Nuclei. 2020. Т. 83. № 6. С. 965-968.
  12. INTEGRATION OF THE JINR HYBRID COMPUTING RESOURCES WITH THE DIRAC INTERWARE FOR DATA INTENSIVE APPLICATIONS. Korenkov V., Pelevanyuk I., Tsaregorodtsev A. Communications in Computer and Information Science. 2020. Т. 1223. С. 31-46.
  13. QUANTUM SOFTWARE ENGINEERING: QUANTUM GATE-BASED COMPUTATIONAL INTELLIGENCE SUPREMACY. Ivancova O., Korenkov V., Ulyanov S., Ryabov N. В сборнике: Supercomputing. 2020. С. 110-121.
  14. ТЕХНОЛОГИЯ ВЗАИМОДЕЙСТВИЯ КЛИЕНТА JALIEN И ЦЕНТРАЛЬНЫХ СЕРВИСОВ ALICE. Кореньков В.В., Кондратьев А.О., Бондяков А.С. Современные информационные технологии и ИТ-образование. 2019. Т. 15. № 3. С. 602-610.

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

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

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

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

  1. Гасилов В. А. и др. MARPLE: программное обеспечение для мультифизического моделирования в задачах сплошных сред //Препринты ИПМ им. МВ Келдыша. – 2023. – №. 37. – С. 1-40.
  2. Милюкова О. Ю. Способы MPI+ OpenMP реализации метода сопряженных градиентов с предобусловливателем IC (0) на основе использования переупорядочения узлов сетки //Препринты ИПМ им. МВ Келдыша. – 2023. – №. 35. – С. 1-32.
  3. Власов С. О. и др. Решение задачи обнаружения объекта с помощью нейросетевых технологий //Препринты ИПМ им. МВ Келдыша. – 2023. – №. 16. – С. 1-27.
  4. Борисов В. Е. и др. Программный комплекс NOISEtte–MCFL для расчета многокомпонентных реагирующих течений //Препринты ИПМ им. МВ Келдыша. – 2023. – №. 6. – С. 1-23.
  5. Сухинов А. И. и др. Метод решения сеточных уравнений для задач гидродинамики в плоских областях //Математическое моделирование. – 2023. – Т. 35. – №. 3. – С. 35-58.
  6. Корнилина М. А., Якобовский М. В. Оценка накладных расходов при выполнении расчётов на локально измельчаемых сетках //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 102. – С. 1-36.
  7. Синюков М. В. и др. Ограничения применимости дифференцируемых эталонных показателей качества изображений //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 86. – С. 1-15.
  8. Богатырев Е. Н. и др. Исследование качества сжатого видео после повышения разрешения: бенчмарк и метрика качества //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 81. – С. 1-24.
  9. Мещанинов В. П. и др. Сочетание контрастного обучения и обучения с учителем для обнаружения видео с сверхвысоким разрешением //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 80. – С. 1-13.
  10. Вересов А. К. О возможной интеграции Лиспа в язык Си //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 30. – С. 1-35.
  11. Краснов М. М., Феодоритова О. Б. Применение библиотеки функционального программирования для распараллеливания вычислений на графических ускорителях с технологией CUDA //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 51. – С. 1-36.
  12. Куренных А. Е., Судаков В. А. Комбинированные рекомендательные алгоритмы для научно-производственных объединений //Препринты ИПМ им. МВ Келдыша. – 2021. – №. 60. – С. 1-12.
  13. Фролов В. А. и др. Синтез изображений интерьеров для обучения нейросетей //Препринты ИПМ им. МВ Келдыша. – 2020. – №. 81. – С. 1-20.
  14. Санжаров В. В. и др. Система генерации наборов изображений для задач компьютерного зрения на основе фотореалистичного рендеринга //Препринты ИПМ им. МВ Келдыша. – 2020. – №. 80. – С. 1-29.
  15. ИСПОЛЬЗОВАНИЕ ПРЯМОУГОЛЬНЫХ СЕТОК СОВМЕСТНО С ПРОЕКЦИОННЫМ МЕТОДОМ ТЕТРАЭДРИЗАЦИИ ДЛЯ РАСПРЕДЕЛЁННОЙ ГЕНЕРАЦИИ ТЕТРАЭДРАЛЬНОЙ СЕТКИ. Григорьев С.К., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2020). Короткие статьи и описания плакатов. 2020. С. 128-132.

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