Andrei Klimov's Publications

  1. А.П. Будник, Е.В. Гай, Н.С. Работнов, А.В. Климов, В.Ф. Турчин, И.Б. Щенков. Базисные волновые функции и матрицы операторов коллективной модели ядра. Ядерная Физика, т. 14, вып. 2, 1971. С. 304-314.
     
  2. Анд.В. Климов, С.А. Романенко, В.Ф. Турчин. Компилятор с языка Рефал. М.: ИПМ АН СССР, 1972. 74 с.
     
  3. С.А. Романенко, Анд.В. Климов, В.Ф. Турчин. Теоретические основы синтаксического отождествления в языке РЕФАЛ. М.: ИПМ АН СССР, 1973, препринт № 13. 65 с.
     
  4. Анд.В. Климов, С.А. Романенко, Е.В. Травкина. Инструкция по работе с мониторной системой "РЕФАЛ" для БЭСМ-6. М.: ИПМ АН СССР, 1974. 72 с.
     
  5. Анд.В. Климов, Л.В. Проворов, С.А. Романенко, Е.В. Травкина. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Входной язык компилятора и запуск программ. М.: ИПМ АН СССР, 1975, препринт № 8. 71 с.
     
  6. Анд.В. Климов, С.А. Романенко. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. М.: ИПМ АН СССР, 1975. 86 с.
     
  7. Анд.В. Климов, Арк.В. Климов, А.Г. Красовский, С.А. Романенко, Е.В.Травкина, В.Ф. Турчин, В.Ф. Хорошевский, И.Б. Щенков. Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации). Фонд алгоритмов и программ для ЭВМ (в отрасли "Строительство"), специальный раздел, V-40. М.: ЦНИПИАСС, 1977. 258 с.
     
  8. Анд.В. Климов, Применение концепции смешанных вычислений для конструирования объектно-ориентированного функционального языка программирования. В сб.: Семиотические аспекты формализации интеллектуальной деятельности, М.: ВИНИТИ, 1983. С. 67-70.
     
  9. Анд.В. Климов, С.А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. М.: ИПМ им. М.В. Келдыша АН СССР, 1986, препринт № 200. 38 с. PDF DJVU
     
  10. Анд.В. Климов, С.А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. М.: ИПМ им. М.В. Келдыша АН СССР, 1987. 52 с. PDF DJVU
     
  11. Анд.В. Климов, С.А. Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. М.: ИПМ им. М.В. Келдыша АН СССР, 1987, препринт № 71. 32 с. PDF DJVU
     
  12. Анд.В. Климов, Объектно-функциональная модель вычислений. В сб.: Семиотические аспекты формализации интеллектуальной деятельности, М.: ВИНИТИ, 1988. С. 49-53.
     
  13. Andrei V. Klimov, Dynamic specialization in extended functional language with monotone objects. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation (New Haven, Connecticut, USA), ACM SIGPLAN Notices 26 (9), pages 199-210, 1991. Link
     
  14. Robert Glück and Andrei V. Klimov, Occam's razor in metacomputation: the notion of a perfect process tree. In P. Cousot, M. Falaschi, G. Filè, and G. Rauzy (eds.), Static Analysis (Proc. Third International Workshop WSA '93, Padova, Italy, September 22–24, 1993), Lecture Notes in Computer Science 724, pages 112-123. Springer Berlin / Heidelberg, 1993. Link PDF of preprint
     
  15. Robert Glück and Andrei V. Klimov, Metacomputation as a tool for formal linguistic modeling. In R. Trappl (ed.), Cybernetics and Systems '94 (Proc. 12th European Meeting on Cybernetics and Systems Research EMCSR '94, Vienna, Austria, 5-8 April 1994), Vol.2, pages 1563-1570. World Scientific Pub. Co., Singapore, 1994. BibTeX PDF of preprint
     
  16. Robert Glück and Andrei V. Klimov, Metasystem transition schemes in computer science and mathematics. World Futures: the Journal of General Evolution 45, pages 213-243, 1995. Link BibTeX RTF of draft
     
  17. Andrei V. Klimov, A specification of a class of supercompilers. In O. Danvy, R. Glück and P. Thiemann (eds.), Draft Proceedings of the Dagstuhl Seminar on Partial Evaluation, Technical Report WSI-96-6, page 232, Universität Tübingen, Germany, 1996.
     
  18. Robert Glück and Andrei V. Klimov, A regeneration scheme for generating extensions. Information Processing Letters 62, pages 127-134, 1997. BibTeX
     
  19. Andrei V. Klimov, Program specialization vs. program composition. ACM Computing Surveys 30, Vol. 30, No. 3es (Sept. 1998), Pages 3-es. Link
     
  20. Robert Glück and Andrei V. Klimov, On the degeneration of program generators by program composition. New Generation Computing 16, pages 75-96, 1998. BibTeX
     
  21. Robert Glück and Andrei V. Klimov, Reduction of language hierarchies by Metacomputation. In F. Heylighen, J. Bollen, A. Riegler (eds.), The Evolution Of Complexity: The Violet Book Of “Einstein Meets Magritte”, Kluwer Academic Publishers, Dordrecht, The Netherlands, pages 129-140, 1999. BibTeX PDF of preprint
     
  22. Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov, Partial Evaluation for Common Intermediate Language. In Perspectives of System Informatics (Proceedings of Andrei Ershov Fifth International Conference, July 9-12, 2003, Novosibirsk, Russia). Lecture Notes in Computer Science, volume 2890/2003, pages 137-155. Springer Berlin / Heidelberg, 2003. Link BibTeX
     
  23. Анд.В. Климов. Декларативное определение суперкомпиляции как отношения между входной и выходной программами и его свойства. В сб.: Научный сервис в сети Интернет: технологии распределенных вычислений: Труды Всероссийской научной конференции (19-24 сентября 2005 года), М.: Изд-во Московского университета, 2005. С. 93-95.
     
  24. Анд.В. Климов, Построение доказуемо корректного суперкомпилятора простого функционального языка. В сб.//: Научный сервис в сети Интернет: технологии параллельного программирования: Труды Всероссийской научной конференции (18-23 сентября 2006 года, Новороссийск). М.: Изд-во Московского университета, 2006. С. 165-167.
     
  25. Анд.В. Климов, Детерминированные параллельные вычисления с монотонными объектами. В сб.: Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ: Труды Всероссийской научной конференции (24-29 сентября 2007 г., г. Новороссийск). М.: Изд-во Московского университета, 2007. С. 212-217.
     
  26. Andrei V. Klimov, Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. In Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Lecture Notes in Computer Science, volume 4378/2007, pages 248-259. Springer Berlin / Heidelberg, 2007. Link
     
  27. Анд.В. Климов, Введение в метавычисления и суперкомпиляцию. В сб.: Будущее прикладной математики: Лекции для молодых исследователей. От идей к технологиям. М.: Изд-во КомКнига, 2008. С. 343-368. ISBN 978-5-484-01028-8. PDF
     
  28. Andrei V. Klimov, A Program Specialization Relation Based on Supercompilation and its Properties. Preprint, Keldysh Inst. Appl. Math., Russian Academy of Sciences, Moscow, 2008, N 26. 28 pages. Link PDF (superseded by [29])
     
  29. Andrei V. Klimov, A Program Specialization Relation Based on Supercompilation and its Properties. In: A.P. Nemytykh (ed.), Proceedings of the First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia, July 2-5, 2008. Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2008. P. 54-77. ISBN 978-5-901795-12-5. Link PDF
     
  30. Andrei V. Klimov, An approach to Supercompilation for Object-Oriented Languages: the Java Supercompiler Case Study. In: A.P. Nemytykh (ed.), Proceedings of the First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia, July 2-5, 2008. Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2008. P. 43-53. ISBN 978-5-901795-12-5. Link PDF
     
  31. Анд.В. Климов, Особенности построения суперкомпилятора языка Java. В сб.: Научный сервис в сети Интернет: решение больших задач: Труды Всероссийской научной конференции (21-27 сентября 2008 г., г. Новороссийск). М.: Изд-во Московского университета, 2008. С. 252-256. ISBN 978-5-211-05616-9. Link PDF
     
  32. Andrei V. Klimov, A Java Supercompiler and its Application to Verification of Cache-Coherence Protocols. In: Perspectives of Systems Informatics (Proceedings of Seventh International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009). Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2009. P. 141-149. PDF revised (typos fixed) Slides
     
  33. Andrei V. Klimov, A Java Supercompiler and its Application to Verification of Cache-Coherence Protocols. In: Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Lecture Notes in Computer Science, volume 5947/2010, pages 185-192. Springer Berlin / Heidelberg, 2010. Link (Abridged version of [32].)
     
  34. Анд.В. Климов, Применение суперкомпилятора языка Java для решения обратных задач в стиле логического программирования. В сб.: Труды XIV Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» (ИМТ 2009), 5–15 июля 2009 г., Иркутск – Байкал. Часть III. Иркутск: ИСЭМ CO РАН, 2009. С. 165-172. ISBN 978-5-93908-077-4. PDF Slides
     
  35. Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Разработка методов поддержки различных моделей параллельных вычислений и систем гибридного программирования на суперкомпьютерах с ПЛИС // Результаты целевых ориентированных фундаментальных исследований и их использование в российской промышленности: Материалы ежегодной научной конференции, 19-23 апреля 2010, г. Таганрог. Таганрог: Изд-во ТТИ ЮФУ, 2010. С. 49-59. ISBN 978-5-8327-0375-6.
     
  36. Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Возможности суперкомпьютеров «СКИФ» ряда 4 по аппаратной поддержке в ПЛИС различных моделей параллельных вычислений // Материалы международной научно-технической конференции «Суперкомпьютерные технологии: разработка, программирование, применение» (СКТ-2010), 27 сентября – 2 октября 2010, Дивноморское, Россия. Таганрог: Изд-во ТТИ ЮФУ, 2010. Том 1. С. 11-21. ISBN 978-5-8327-0383-1.
     
  37. И.А. Адамович, А.В. Климов, Ю.А. Климов, А.Ю. Орлов, А.Б. Шворин, Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора» // Программные системы: теория и приложения: электронный научный журнал. Том 1. Выпуск 3. Переславль-Залессий: УРАН ИПС им. А.К. Айламазяна РАН, 2010. С. 107-123. URL: http://psta.psiras.ru/read/psta2010_3_107-123.pdf. ISSN 2079-3316. Link
     
  38. Анд.В. Климов, Верификация моделей протоколов с помощью суперкомпиляторов: почему это удается? // Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Международной суперкомпьютерной конференции, 20-25 сентября 2010 г., г. Новороссийск. М.: Изд-во МГУ, 2010. С. 45-49. ISBN 978-5-211-05916-0. PDF
     
  39. Andrei V. Klimov, Yet Another Algorithm for Solving Coverability Problem for Monotonic Counter Systems. In: V. Nepomniaschy, V. Sokolov (eds.), Proceedings of the Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011), June 12–13, 2011, St. Petersburg, Russia. Yaroslavl: Demidov Yaroslavl State University, 2011. P. 59-67. ISBN 978-5-8397-0812-9.
     
  40. Andrei V. Klimov, Solving Coverability Problem for Monotonic Counter Systems by Supercompilation. In: E.M. Clarke, I. Virbitskaite, A. Voronkov (eds.), Proceedings of the Ershov Informatics Conference (PSI 2011), June 17 – July 01, 2011, Akademgorodok, Novosibirsk, Russia. Novosibirsk: Ershov Institute of Informatics Systems, 2011. P. 92-103.
     
  41. Andrei V. Klimov, Multi-Result Supercompilation in Action: Solving Coverability Problem for Monotonic Counter Systems by Gradual Specialization. In: M. Bulyonkov, R. Glück (eds.), International Workshop on Program Understanding (PU 2011), July 2–5, 2011, Novososedovo, Russia. Novosibirsk: Ershov Institute of Informatics Systems, 2011. P. 25-32.
     
  42. Анд.В. Климов, Решение задачи покрываемости для счетчиковых систем алгоритмами, основанными на суперкомпиляции // Труды XVI Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» (ИМТ 2011), 1–10 июля 2011 г., Иркутск – Байкал. Часть III. Иркутск: ИСЭМ СО РАН, 2011. С. 15-24. ISBN 978-5-93908-094-1.