Климов Аркадий Валентинович

Родился в 1953 г. Закончил механико-математический факультет МГУ им. М.В.Ломоносова в 1976 г. Работаю в ИППМ с 2008 года.

Тел.: (499) 135-3295
email: arkady.klimov@gmail.com

языки программирования и модели вычислений,
семантика языков программирования, методы анализа и преобразования программ,
нестандартные вычислительные модели и архитектуры,
модель вычислений и архитектура с управлением потоком данных,
параллельные вычисления и алгоритмы,
языки параллельного программирования, архитектуры параллельных ЭВМ,
автоматическое распараллеливание, полиэдральные модели программ,
автоматическое преобразование последовательных циклических (аффинных) программ в модель вычислений с управлением потоком данных.

Избранные работы:

Климов А.В. // Об одном методе получения быстродействующих параллельных алгоритмов. Семиотические аспекты формализации интеллектуальной деятельности. Всесоюзная школа-семинар "Боржоми-88". Тезисы докладов и сообщений. Москва, 1988, с. 53-56.

A.M.Chepovsky, And.V.Klimov, Ark.V.Klimov, Yu.A.Klimov, A.S.Mishchenko, S.A.Romanenko, S.Yu.Skorobogatov // Partial Evaluation for Common Intermediate Language. Ershov Memorial Conference, 2003, p.171-177.

Климов А.В., Окунев А.С., Степанов А.М. // Распределение вычислений по модулям в вычислительной системе массового параллелизма. "Информационные технологии в науке, образовании, телекоммуникации и бизнесе", материалы международной конференции IT+S&E`07, Ялта-Гурзуф, май 2007 г.

Климов А.В., Окунев А.С., Степанов А.М. // Проблемы развития модели вычислений с управлением потоком данных и особенности ее архитектурной реализации. "Информационные технологии в науке, образовании, телекоммуникации и бизнесе", материалы международной конференции IT+S&E`07, Ялта-Гурзуф, май 2007 г.

Климов А.В., Окунев А.С., Степанов А.М. // Иерархическая ассоциативная память в вычислительной системе массового параллелизма. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.87-92. Дивноморское, Россия, сентябрь 2007г.

Климов А.В., Левченко Н.Н., Окунев А.С. // Аппаратно-программные средства преодоления неравномерной загрузки отдельных устройств в параллельной потоковой вычислительной системе. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.92-95. Дивноморское, Россия, сентябрь 2007г.

Климов А.В., Окунев А.С., Степанов А.М. // Распределение вычислений и данных по процессорным модулям в вычислительной системе массового параллелизма. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.242-246. Дивноморское, Россия, сентябрь 2007г.:

Акжолов М.Ж., Климов А.В., Лупенко А.И. // Особенности программирования для вычислительной системы потоковой архитектуры на примере двумерной задачи теплопроводности. "Научный вестник" МИРЭА, № 2 (3) 2007, с.12-20.

Статьи:

А.В.Климов // Умножение плотных матриц на неоднородных высокопараллельных вычислительных системах (анализ коммуникацион-ной нагрузки) // Журнал «Информационные технологии», №3, 2008 (http://novtex.ru/IT/it2008/It308.pdf), с.24-31

А.В.Климов // Использование деревьев выбора для описания состояний в распараллеливающем компиляторе // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской научной конференции (21-26 сентября 2009 г., г. Новороссийск), с. 238-240. М.: Изд-во МГУ, 2009.

А.В.Климов, А.С.Окунев, Н.Н.Левченко // Автоматическое распараллеливание линейных циклов путем трансляции в язык потока данных // Труды XII Международного Семинара «Супервычисления и математическое моделирование», г. Саров, 11-15 октября 2010 года, РФЯЦ-ВНИИЭФ, Саров, 2011, с.208-215.

А.В.Климов, А.С.Окунев, Н.Н.Левченко, А.Л.Стемпковский // Автоматическое распараллеливание для гибридной системы с потоковым ускорителем // Журнал «Информационные технологии и вычислительные системы», 2011 г., №2, c. 3-11

М.Ж.Акжолов, А.В.Климов // Параллельный алгоритм сортировки слиянием в модели вычислений с уп-равлением потоком данных // Материалы международной конференции «Рахматулинские чтения», Бишкек, 26-27 мая 2011 г. (С. 76-81)

A.V.Klimov // Transforming Affine Nested Loop Programs to Dataflow Computation Model // PSI’11: Ershov Informatic conference (the PSI conference series, 8-th edition), June 27 - July 11, 2011, Novosibirsk, 2011, pp.274-285.

А.В.Климов, А.С.Окунев // Потоковая модель вычислений как путь к экзафлопсу // Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: экзафлопсное будущее» (19-24 сентября 2011 г., г. Новороссийск), с. 261-266. ISBN 978-5-211-06229-0

Арк.В. Климов, Н.Н. Левченко, С.А. Окунев, А.Л. Стемпковский // Автоматическое распараллеливание последовательных программ для гибридной системы с ускорителем на основе потока данных // Параллельные вычислительные технологии (ПаВТ’2011): труды международной научной конференции (Москва, 28 марта – 1 апреля 2011 г.), 2011.

Д.Н. Змеев, Арк.В. Климов, А.С. Окунев, Н.Н. Левченко // Реализация параллельной модели вычислений с управлением потоком данных на кластерных суперкомпьютерах // Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: все грани параллелизма» (23-28 сентября 2013 г., г. Новороссийск) - М.: Изд-во МГУ, 2013, с. 375-377.

А.В. Климов, Н.Н.Левченко, А.С.Окунев, А.Л.Стемпковский // Суперкомпьютеры, иерархия памяти и потоковая модель вычислений // Программные системы: теория и приложения: электрон. научн. журн. 2014. T. 5, № 1(19), с. 15–36.

A.V. Klimov // Construction of exact polyhedral model for affine programs with data dependent conditions // Proc. of the Forth International Valentine Turchin Workshop on Metacomputation, META'14, (June 29 – July 3, 2014), pages 136--160. University of Pereslavl, 2014.

А.В. Климов, Т.Г. Козлова // Опыт программирования параллельной aсинхронной молекулярной динамики для потокового супервычислителя ППВС «БУРАН» // XV международная конференция «Супервычисления и математическое моделирование». Тезисы, г. Саров, 13-17 октября 2014, с. 79--80.

Д. Н. Змеев, А. В. Климов, Н. Н. Левченко, А. С. Окунев // Безбарьерное программирование в парадигме потоков данных на примере задачи молекулярной динамики // Национальный суперкомпьютерный форму НСКФ-2014, 25-27 ноября 2014 г., г. Переславль-Залесский.

А.В. Климов, Н.Н. Левченко, А.С. Окунев, Д.Н. Змеев // Dataflow – парадигма программирования будущего // Тезисы доклада, семинар "Посткремниевые вычисления", 24 ноября 2014 г., г. Переславль-Залесский.

Arkady Klimov // Yet Another Way of Building Exact Polyhedral Model for Weakly Dynamic Affine Programs // submitted to IMPACT'15, Jan, 19, 2015, Amsterdam (however not accepted)