Andrei Klimov's publications

2014
  1. Andrei V. Klimov, On Valentin Turchin’s Works on Cybernetic Philosophy, Computer Science and Mathematics // A.V. Klimov, S.A. Romanenko (eds.), Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, June 29 – July 3, 2014. Pereslavl-Zalessky: Publishing House "University of Pereslavl", 2014. P. 124–135. ISBN 978-5-901795-31-6.
2012
  1. Andrei V. Klimov, A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems. Automatic Control and Computer Sciences, Vol. 46, No. 7, 2012. P. 364–370. ISSN 0146-4116. Link
  1. Andrei V. Klimov, Solving Coverability Problem for Monotonic Counter Systems by Supercompilation. In: E.M. Clarke, I. Virbitskaite, A. Voronkov (eds.), Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27–July 1, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7162/2012. Springer Berlin / Heidelberg, 2012. P. 193–209. ISSN 03029743. Link1 Link2
  1. Andrei V. Klimov, Why Multi-Result Supercompilation Matters: Case Study of Reachability Problems for Transition Systems. In: A.V. Klimov and S.A. Romanenko (eds.), Proceedings of the Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5–9, 2012. Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2012. P. 91–111. ISBN 978-5-901795-28-6.
  1. Andrei V. Klimov, Ilya G. Klyuchnikov, Sergei A. Romanenko, Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation. In: A.V. Klimov and S.A. Romanenko (eds.), Proceedings of the Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5–9, 2012. Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2012. P. 112–141. ISBN 978-5-901795-28-6.
  1. Andrei V. Klimov, Ilya G. Klyuchnikov and Sergei A. Romanenko, Automatic verification of counter systems via domain-specific multi-result supercompilation. Keldysh Institute Preprints, 2012, No. 19. 28 pages. ISSN 2071-2898 (print). ISSN 2071-2901 (online). Link PDF
  1. Andrei V. Klimov, Ilya G. Klyuchnikov and Sergei A. Romanenko, Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit. Keldysh Institute Preprints, 2012, No. 24. 20 pages. ISSN 2071-2898 (print). ISSN 2071-2901 (online). Link PDF
2011
  1. Анд.В. Климов, Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем // Моделирование и анализ информационных систем, Том 18, Номер 4. Ярославль: Ярославский госуниверситет им. П.Г. Демидова, 2011. С. 106–117. Link PDF
  1. Анд.В. Климов, О работах Валентина Федоровича Турчина по кибернетике и информатике // А.Н. Томилин (ред.), Труды SORUCOM-2011. Вторая международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР, 12–16 сентября 2011, Великий Новгород, Россия. 2011. С. 149–154. ISBN 978-5-98769-088-8. Link PDF of Proceedings
  1. Анд.В. Климов, Решение задачи покрываемости для счетчиковых систем алгоритмами, основанными на суперкомпиляции // Труды XVI Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» (ИМТ 2011), 1–10 июля 2011 г., Иркутск – Байкал. Часть III. Иркутск: ИСЭМ СО РАН, 2011. С. 15–24. ISBN 978-5-93908-094-1.
  1. 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.
  1. 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 27 – July 01, 2011, Akademgorodok, Novosibirsk, Russia. Novosibirsk: Ershov Institute of Informatics Systems, 2011. P. 92–103.
  1. 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.
2010
  1. Анд.В. Климов, Верификация моделей протоколов с помощью суперкомпиляторов: почему это удается? // Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Международной суперкомпьютерной конференции, 20–25 сентября 2010 г., г. Новороссийск. М.: Изд-во МГУ, 2010. С. 45–49. ISBN 978-5-211-05916-0. PDF
  1. И.А. Адамович, А.В. Климов, Ю.А. Климов, А.Ю. Орлов, А.Б. Шворин, Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора» // Программные системы: теория и приложения: электронный научный журнал. Том 1. Выпуск 3. Переславль-Залессий: ИПС им. А.К. Айламазяна РАН, 2010. С. 107–123. URL: http://psta.psiras.ru/read/psta2010_3_107-123.pdf. ISSN 2079-3316. Link
  1. Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Возможности суперкомпьютеров «СКИФ» ряда 4 по аппаратной поддержке в ПЛИС различных моделей параллельных вычислений // Материалы международной научно-технической конференции «Суперкомпьютерные технологии: разработка, программирование, применение» (СКТ-2010), 27 сентября – 2 октября 2010, Дивноморское, Россия. Таганрог: Изд-во ТТИ ЮФУ, 2010. Том 1. С. 11–21. ISBN 978-5-8327-0383-1.
  1. Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Разработка методов поддержки различных моделей параллельных вычислений и систем гибридного программирования на суперкомпьютерах с ПЛИС // Результаты целевых ориентированных фундаментальных исследований и их использование в российской промышленности: Материалы ежегодной научной конференции, 19–23 апреля 2010, г. Таганрог. Таганрог: Изд-во ТТИ ЮФУ, 2010. С. 49–59. ISBN 978-5-8327-0375-6.
  1. 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. ISSN 03029743. Link1 Link2 (Abridged version of [32].)
2009
  1. Анд.В. Климов, Применение суперкомпилятора языка Java для решения обратных задач в стиле логического программирования. В сб.: Труды XIV Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» (ИМТ 2009), 5–15 июля 2009 г., Иркутск – Байкал. Часть III. Иркутск: ИСЭМ CO РАН, 2009. С. 165–172. ISBN 978-5-93908-077-4. PDF Slides
  1. 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
2008
  1. Анд.В. Климов, Особенности построения суперкомпилятора языка Java. В сб.: Научный сервис в сети Интернет: решение больших задач: Труды Всероссийской научной конференции (21–27 сентября 2008 г., г. Новороссийск). М.: Изд-во Московского университета, 2008. С. 252–256. ISBN 978-5-211-05616-9. Link PDF
  1. 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
  1. 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
  1. Andrei V. Klimov, A Program Specialization Relation Based on Supercompilation and its Properties. Keldysh Institute Preprints, 2008, No. 26. 28 pages. ISSN 2071-2898 (print). ISSN 2071-2901 (online). Link PDF (superseded by [29])
  1. Анд.В. Климов, Введение в метавычисления и суперкомпиляцию. В сб.: Будущее прикладной математики: Лекции для молодых исследователей. От идей к технологиям. М.: Изд-во КомКнига, 2008. С. 343–368. ISBN 978-5-484-01028-8. PDF
2007
  1. Анд.В. Климов, Детерминированные параллельные вычисления с монотонными объектами. В сб.: Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ: Труды Всероссийской научной конференции (24–29 сентября 2007 г., г. Новороссийск). М.: Изд-во Московского университета, 2007. С. 212–217.
  1. 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. ISSN 03029743. Link1 Link2
2006
  1. Анд.В. Климов, Построение доказуемо корректного суперкомпилятора простого функционального языка. В сб.: Научный сервис в сети Интернет: технологии параллельного программирования: Труды Всероссийской научной конференции (18–23 сентября 2006 года, Новороссийск). М.: Изд-во Московского университета, 2006. С. 165–167.
2005
  1. Анд.В. Климов. Декларативное определение суперкомпиляции как отношения между входной и выходной программами и его свойства. В сб.: Научный сервис в сети Интернет: технологии распределенных вычислений: Труды Всероссийской научной конференции (19–24 сентября 2005 года), М.: Изд-во Московского университета, 2005. С. 93–95.
2003
  1. 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: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers. Lecture Notes in Computer Science, volume 2890/2003, pages 137–155. Springer Berlin / Heidelberg, 2003. ISSN 03029743. Link1 Link2 BibTeX
1999
  1. 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
1998
  1. Andrei V. Klimov, Program specialization vs. program composition. ACM Computing Surveys 30, Vol. 30, No. 3es (Sept. 1998), Pages 3-es. Link
  1. Robert Glück and Andrei V. Klimov, On the degeneration of program generators by program composition. New Generation Computing 16, pages 75–96, 1998. Link1 Link2 BibTeX
1997
  1. Robert Glück and Andrei V. Klimov, A regeneration scheme for generating extensions. Information Processing Letters 62, pages 127–134, 1997. BibTeX
1996
  1. 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.
1995
  1. 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
1994
  1. 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
1993
  1. 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/1993, pages 112–123. Springer Berlin / Heidelberg, 1993. ISSN 03029743. Link1 Link2 PDF of preprint
1991
  1. 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
1988
  1. Анд.В. Климов, Объектно-функциональная модель вычислений. В сб.: Семиотические аспекты формализации интеллектуальной деятельности, М.: ВИНИТИ, 1988. С. 49-53.
1987
  1. Анд.В. Климов, С.А. Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. М.: ИПМ им. М.В. Келдыша АН СССР, 1987, препринт № 71. 32 с. PDF DJVU
  1. Анд.В. Климов, С.А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. М.: ИПМ им. М.В. Келдыша АН СССР, 1987. 52 с. PDF DJVU
1986
  1. Анд.В. Климов, С.А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. М.: ИПМ им. М.В. Келдыша АН СССР, 1986, препринт № 200. 38 с. PDF DJVU
1983
  1. Анд.В. Климов, Применение концепции смешанных вычислений для конструирования объектно-ориентированного функционального языка программирования. В сб.: Семиотические аспекты формализации интеллектуальной деятельности, М.: ВИНИТИ, 1983. С. 67-70.
1977
  1. Анд.В. Климов, Арк.В. Климов, А.Г. Красовский, С.А. Романенко, Е.В.Травкина, В.Ф. Турчин, В.Ф. Хорошевский, И.Б. Щенков. Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации). Фонд алгоритмов и программ для ЭВМ (в отрасли "Строительство"), специальный раздел, V-40. М.: ЦНИПИАСС, 1977. 258 с.
1975
  1. Анд.В. Климов, С.А. Романенко. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. М.: ИПМ АН СССР, 1975. 86 с.
  1. Анд.В. Климов, Л.В. Проворов, С.А. Романенко, Е.В. Травкина. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Входной язык компилятора и запуск программ. М.: ИПМ АН СССР, 1975, препринт № 8. 71 с.
1974
  1. Анд.В. Климов, С.А. Романенко, Е.В. Травкина. Инструкция по работе с мониторной системой "РЕФАЛ" для БЭСМ-6. М.: ИПМ АН СССР, 1974. 72 с.
1973
  1. С.А. Романенко, Анд.В. Климов, В.Ф. Турчин. Теоретические основы синтаксического отождествления в языке РЕФАЛ. М.: ИПМ АН СССР, 1973, препринт № 13. 65 с.
1972
  1. Анд.В. Климов, С.А. Романенко, В.Ф. Турчин. Компилятор с языка Рефал. М.: ИПМ АН СССР, 1972. 74 с.
1971
  1. А.П. Будник, Е.В. Гай, Н.С. Работнов, А.В. Климов, В.Ф. Турчин, И.Б. Щенков. Базисные волновые функции и матрицы операторов коллективной модели ядра. Ядерная Физика, т. 14, вып. 2, 1971. С. 304-314.