Версия 17:10, 21 октября 2021

Аветисян Арутюн Ишханович
Дата рождения:	19.03.1971
Место рождения:	Верхняя Эшера
Краткая информация: Академик Российской академии наук

Биография

Родился 19 марта 1971 года в с. Верхняя Эшера Сухумского района Абхазской АССР.

В 1993 году с отличием окончил факультет прикладной математики Ереванского государственного университета.

Основные научные положения, сформулированные автором на основании проведенных исследований

• Разработаны методы спекулятивного планирования кода, конвейеризации и векторизации циклов (машинно-ориентированная оптимизация), позволяющие учитывать особенности функционирования современных процессоров с параллелизмом на уровне команд (EPIC), обеспечивая максимальное использование преимуществ их архитектуры
• Предложен и реализован в среде программирования ParJava технологический процесс разработки приложений на языке Java с явными обращениями к коммуникационной библиотеке (MPI), позволяющий проводить итеративную разработку с минимальным использованием целевой аппаратуры, тем самым существенно повышая продуктивность разработки программ для систем с распределенной памятью
• Разработаны масштабируемые методы статического анализа исходного кода программ, обеспечивающие нахождение уязвимостей и других дефектов. Эти методы реализованы в интегрированной среде Svace, которая обеспечивает эффективный аудит, как исходного кода на языках C/C++, так и бит-кода LLVM, содержащего десятки миллионов строк, в приемлемое время с высокой степенью достоверности
• Впервые предложены комбинированные методы статического и динамического анализа бинарного кода, базирующиеся на сборе и анализе трасс его выполнения, с целью восстановления алгоритмов и нахождения недокументированных возможностей в защищенном бинарном коде. На основе этих методов реализована интегрированная среда ТгЕх
• Впервые предложен метод двухэтапной компиляции, обеспечивающий возможность распространения программ, написанных на языках общего назначения С/С++, в промежуточном представлении LLVM (бит-код) с использованием динамической компиляции. Это обеспечивает возможность применения полученных результатов по обеспечению высокой продуктивности разработки ПО и его безопасности в традиционных системах программирования языков C/C++

Сочинения

Статьи в журналах рекомендованных ВАК РФ

• А.И. Аветисян, С.С. Гайсарян, О.И. Самоваров. “Возможности оптимального выполнения параллельных программ, содержащих простые и итерированные циклы на неоднородных параллельных вычислительных системах с распределенной памятью”. Программирование, 2002, № 1, с. 38-54
• В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.А. Падарян. «Оценка динамических характеристик параллельной программы на модели.» // Программирование, №4, 2006
• В.П. Иванников, А.И. Аветисян, С.С. Гайсарян, В.А. Падарян. «Прогнозирование производительности MPI-программ на основе моделей.» // Журнал «Автоматика и телемеханика», 2007, N5, с. 8-17
• А.И. Аветисян, B.B. Бабкова и А.Ю. Губарь. «Возникновение торнадо: трехмерная численная модель в мезомасштабной теории турбулентности по Николаевскому»// «ДАН/Геофизика», том 419, №4, с. 547-552
• Аветисян А.И., Бабкова В., Гайсарян С.С., Губарь А.Ю. «Рождение торнадо в теории мезомасштабной турбулентности по Николаевскому. Трехмерная численная модель в ParJava.» // Журнал «Математическое моделирование». 2008, т. 20, № 8, с. 28-40
• В.П. Иванников, Аветисян А.И., Гайсарян С.С., Акопян М.С. “Особенности реализации интерпретатора модели параллельных программ в среде ParJava.” Журнал «Программирование». 2009 т. 35, №1 с. 10-25
• А.И. Аветисян, С.С. Гайсарян, B.B. Бабкова. Итеративная разработка параллельных программ в среде ParJava //Программирование, №4, 2009, с. 56-72
• А.Ю.Тихонов, А.И. Аветисян. Развитие taint-анализа для решения задачи поиска некоторых типов закладок . Труды ИСП РАН, т. 20, 2011 г. с. 9-24
• А.И. Аветисян, М.С. Акопян, С.С. Гайсарян. Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava. Труды ИСП РАН том 21, 2011, cтр. 83-102
• А.И. Аветисян, К.Ю. Долгорукова, Ш.Ф. Курмангалеев. Динамическое профилирование программы для системы LLVM. Труды ИСП РАН том 21, 2011, cтр. 71-82
• Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов. Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ. Труды ИСП РАН том 21, 2011, cтр. 23-38
• Арутюн Аветисян, Алексей Бородин. “Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок”. Труды ИСП РАН том 21, 2011, cтр. 39-54

Статьи, учебные пособия и материалы конференций

• А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян. “Среда разработки параллельных Java-программ для однородных и неоднородных сетей JavaVM” Труды Всероссийской научной конференции “Высокопроизводительные вычисления и их приложения”. Изд-во Московского университета, М. 2000
• А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян. “Параллельное программирование с распределением по данным в среде ParJava.” Вычислительные методы и программирование. Том 2, М. 2001 стр. 70-87
• А.И. Аветисян, В.А. Падарян. “Библиотека интерфейсов и классов, расширяющих язык Java средствами разработки параллельных программ в модели SPMD.” Труды Института Системного Программирования РАН. Том 2, М. 2001, стр. 49-64
• А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян. “Среда ParJava для разработки SPMD-программ для однородных и неоднородных сетей JavaVM.” Труды ИСП РАН. Том 2, М. 2001, стр. 27 – 48
• A. Avetisyan, S. Gaissaryan, O. Samovarov. “Extension of Java Environment by Facilities Supporting Development of SPMD Java-programs”. V. Malyshkin (Ed.): PaCT 2001, LNCS 2127, Springer-Verlag Berlin Heidelberg 2001, p. 175 – 180
• V. Ivannikov, S. Gaissaryan, A. Avetisyan, O. Samovarov. “ParJava: IDE Supporting SPMD Java-Programming” Computer Science and Information Technologies (CSIT), Yerevan, Sept. 17 – 20, 2001. Proceedings, p. 92 – 96
• В.П. Иванников, С.С. Гайсарян, А.И. Аветисян. “Среда ParJava: разработка масштабируемых параллельных SPMD-программ в окружении Java.” Труды Международной конференции “Параллельные вычисления и задачи управления” Москва, 2-4 октября, 2001
• Victor Ivannikov, Serguei Gaissaryan, Arutyun Avetisyan, Vartan Padaryan. Development of Scalable Parallel Programs in ParJava Environment. // Parallel CFD 2003, pp. 291 – 293
• V. Ivannikov, S. Gaissaryan, A. Avetisyan, V. Padaryan. “Analyzing dynamic properties of parallel program in ParJava Environment” Computer Science and Information Technologies (CSIT), Yerevan, September 22 – 26, 2003. Proceedings, p. 19 – 23
• Victor Ivannikov, Serguei Gaissaryan, Arutyun Avetisyan, Vartan Padaryan. Improving properties of a parallel program in ParJava Environment // The 10th EuroPVM/MPI conference, Venice, Sept. 2003, LNCS v. 2840, 491-494
• Сергей Гайсарян, Арутюн Аветисян, Вартан Падарян, Катерина Долгова. Среда разработки параллельных Java-программ, использующих библиотеку MPI. // Труды всероссийской научной конференции «Научный сервис в сети Интернет». Новороссийск, 20-25 сентября 2004, с. 177-179
• Victor Ivannikov, Serguei Gaissaryan, Arutyun Avetisyan, Vartan Padaryan. “Development of Scalable Parallel Programs in ParJava Environment”. B. Chetverushkin, A. Ecer, et al (eds.) // Parallel Computational Fluid Dynamics, 2004 Elsevier B.V., pp. 417 – 423
• Victor P. Ivannikov, Serguei S. Gaissaryan, Arutyun I. Avetisyan, Vartan A. Padaryan. Checkpointing improvement in ParJava environment. // Parallel CFD 2004, May, 24-27, 2004, Gran-Canaria
• Victor Ivannikov, Serguei Gaissaryan, Arutyun Avetisyan, Vartan Padaryan and Hennadiy Leontyev. “Dynamic Analysis and Trace Simulation for Data Parallel Programs in the ParJava Environment”. M. Estrada, A. Gelbukh (Eds.) // Avances en la Ciencia de la Computacion, ENC’04, Colima, Mexico, pp. 481-488
• Сергей Гайсарян, Арутюн Аветисян, Вартан Падарян, Геннадий Леонтьев. Применение среды ParJava для разработки параллельных программ. // Международная научная конференция «Суперкомпьютерные системы и их применение». 26-28 октября 2004, Минск, с. 99-103
• В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян "Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью", Труды ИСП РАН, т. 5, 2004, стр. 41-62
• С.С. Гайсарян, А.И. Аветисян, К.Н. Долгова, В.А. Падарян. “Средства восстановления программы после сбоев среды ParJava.”// Тр. Всероссийской научной конф. «Научный сервис в сети Интернет: технологии распределенных вычислений». Новороссийск, 19-24 сентября 2005
• V. Ivannikov, S. Gaissaryan, A. Avetisyan, B. Babkova. “Using instrumental computer for SPMD-program analysis and tuning” Computer Science and Information Technologies (CSIT), Yerevan, September 19 – 23, 2005. Proceedings, p. 385 – 388
• А.И. Аветисян, С.С. Гайсарян, В.А. Падарян. Принципы реализации модели параллельной программы в среде ParJava. // Труды Всероссийской научной конф. «Научный сервис в сети ИНТЕРНЕТ: технологии параллельного программирования», г. Новороссийск, 18-23 сентября 2006. стр. 106-107
• А.Ю. Губарь, А.И. Аветисян, В.В. Бабкова. Численное моделирование возникновения 3D торнадо в теории мезомасштабных вихрей по Николаевскому. // 13th International Conference On The Methods Of Aerophysical Research. 5 – 10 February, 2007, Ed. V.M. Fomin. – Novosibirsk: Publ. House “Parallel” – 250 p; P. 135-140
• Аветисян А. И., Бабкова В. В., Губарь А. Ю. Моделирование интенсивных атмосферных вихрей в среде ParJava. // Труды Всероссийской научной конф. «Научный сервис в сети ИНТЕРНЕТ:
• Тема диссертации:Современные методы статического и динамического анализа программ для решения приоритетных проблем программной инженерии

Достижения

• Доктор физико-математических наук (2011)

Библиография

• УЧЁНЫЕ РОССИИ

персональная страница А.И. Аветисяна на сайте РАН

Контакты

• arut@ispras.ru