Просмотр исходного текста страницы Аветисян Арутюн Ишханович

{{Персона
| name-ru-main  =Аветисян Арутюн Ишханович
| name-ru-01    =
| name-ru-02    =
| name-ru-03    =
| name-lat =
| name-en       =
| name-am       =
| name-fr       =
| состояние текста     = 7
| состояние поиска     = 7
| состояние тэгов      = 7
| состояние ссылок     = 7
| флаг чистовик        = 7
| автокартинки         =
| портрет              =Avetisyan.jpg
| дата рождения        =19.03.1971
| место рождения       =Верхняя Эшера
| дата смерти          =
| место смерти         =
| краткая информация =Академик Российской академии наук
| тэг01 =Действительные члены РАН
| тэг02 =Математики
| тэг03 =
| тэг04 =
| тэг05 =
}}

=Биография=
Родился 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)

=Библиография=
*[http://www.famous-scientists.ru/list/12925 УЧЁНЫЕ РОССИИ]
*[http://www.ras.ru/win/db/show_per.asp?P=.id-57727.ln-ru персональная страница А.И. Аветисяна на сайте РАН]
*[https://www.ispras.ru/persons/avetisyan.php ИСП РАН]
[[Категория:Доктора физико-математических наук]]