Andrei Klimov's Publications

2019
  1. А.И. Адамович, Анд.В. Климов. О детерминированной параллельной реализации метода ветвей и границ на монотонных объектах // XXI Всероссийская научная конференция «Научный сервис в сети Интернет» (Новороссийск, 23–28 сентября 2019 г.). — М. : ИПМ им. М.В. Келдыша, 2019. — 16 стр. — (В печати). PDF
  1. А.И. Адамович, Анд.В. Климов. Подход к построению системы детерминированного параллельного программирования на основе монотонных объектов // Вестник СибГУТИ. — 2019. — № 3. — С. 14–26. — ISSN 1998-6920. — Link PDF Code in Github
  1. I.A. Adamovich, And.V. Klimov. Building Cyclic Data in a Functional-Like Language Extended with Monotonic Objects // X Workshop PSSV: Program Semantics, Specification and Verification: Theory and Applications (Novosibirsk, Akademgorodok, Russia, July 1–2, 2019) : Abstracts / eds. V. Zakharov, N. Shilov, I. Anureev. — Novosibirsk : A.P. Ershov Institute of Informatics Systems, 2019. — P. 11–19. — ISBN 978-5-4437-0918-5. — PDF (typos fixes) Slides
2018
  1. I.A. Adamovich, And.V. Klimov. An Interactive Specializer Based on Partial Evaluation for a Java Subset // Труды Института системного программирования РАН. — 2018. — Т. 30. — № 4. — С. 29-44.doi:10.15514/ISPRAS-2018-30(4)-2. PDF
  1. Анд.В. Климов, С.А. Романенко. Суперкомпиляция: основные принципы и базовые понятия // Препринты ИПМ им. М.В. Келдыша. — 2018. — № 111. — С. 1–36.doi:10.20948/prepr-2018-111. — РИНЦ Link PDF
2017
  1. А.И. Адамович, Анд.В. Климов. Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ // Программные системы: теория и приложения. — 2017. — Т. 8. — № 4 (35). — С. 221–244.doi:10.25209/2079-3316-2017-8-4-221-244. — РИНЦ PDF
  1. Анд.В. Климов, С.А. Романенко. Краткая история суперкомпиляции в России // Языки программирования и компиляторы – 2017 : труды конференции / под ред. Д.В. Дуброва. — Ростов-на-Дону : Из-во Южного федерального университета, 2017. — С. 147–152. — РИНЦ Proceedings PDF Slides
2016
  1. А.И. Адамович, Анд.В. Климов. Об опыте использования среды метапрограммирования Eclipse/TMF для конструирования специализированных языков // Научный сервис в сети Интернет : труды XVIII Всероссийской научной конференции (19-24 сентября 2016 г., г. Новороссийск). — М. : ИПМ им. М.В. Келдыша, 2016. — С. 3–8. — ISBN 978-5-98354-027-9. — doi:10.20948/abrau-2016-45. — РИНЦ PDF
  1. Robert Glück, Andrei Klimov. Introduction to Valentin Turchin's Cybernetic Foundation of Mathematics // A.V. Klimov and S.A. Romanenko (eds.), Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation (June 27 – July 1, 2016, Pereslavl-Zalessky). — Pereslavl-Zalessky : Publishing House "University of Pereslavl", 2016. — Pages 26–31. — ISBN 978-5-901795-33-0. — РИНЦ PDF
  1. Robert Glück, Andrei Klimov, Antonina Nepeivoda. Nonlinear Configurations for Superlinear Speedup by Supercompilation // A.V. Klimov and S.A. Romanenko (eds.), Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation (June 27 – July 1, 2016, Pereslavl-Zalessky). — Pereslavl-Zalessky : Publishing House "University of Pereslavl", 2016. — Pages 32–51. — ISBN 978-5-901795-33-0. — РИНЦ PDF
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. — РИНЦ PDF
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. doi:10.3103/S0146411612070103. — Scopus РИНЦ
  1. Andrei V. Klimov. Solving Coverability Problem for Monotonic Counter Systems by Supercompilation // 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. Springer Berlin / Heidelberg, 2012. P. 193–209. ISSN 03029743. doi:10.1007/978-3-642-29709-0_18. — Scopus РИНЦ
  1. Andrei V. Klimov. Why Multi-Result Supercompilation Matters: Case Study of Reachability Problems for Transition Systems // 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. — РИНЦ PDF Slides
  1. Andrei V. Klimov, Ilya G. Klyuchnikov, Sergei A. Romanenko. Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation // 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. — PDF Slides РИНЦ
  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. — РИНЦ PDF
  1. Анд.В. Климов. О работах Валентина Федоровича Турчина по кибернетике и информатике // А.Н. Томилин (ред.), Труды SORUCOM-2011. Вторая международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР, 12–16 сентября 2011, Великий Новгород, Россия. — 2011. — С. 149–154. — ISBN 978-5-98769-088-8. — Proceedings HTML PDF
  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 // 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 // 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 // V.A. Nepomniaschy, V.A. 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. И.А. Адамович, А.В. Климов, Ю.А. Климов, А.Ю. Орлов, А.Б. Шворин. Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора» // Программные системы: теория и приложения. — 2010. — Т. 1. № 3. — С. 107–123. — ISSN 2079-3316. — РИНЦ Link PDF
  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 // 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, pages 185–192. — Springer Berlin / Heidelberg, 2010. — ISSN 03029743. — doi:10.1007/978-3-642-11486-1_16. — (Abridged version of [32].) — Scopus РИНЦ
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 // 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 (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 // 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 // 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). — (Superseded by [29]). — РИНЦ Link PDF
  1. Анд.В. Климов. Введение в метавычисления и суперкомпиляцию // Будущее прикладной математики : Лекции для молодых исследователей. От идей к технологиям. — М. : Изд-во КомКнига, 2008. — С.  343–368. — ISBN 978-5-484-01028-8. — PDF
2007
  1. Анд.В. Климов. Детерминированные параллельные вычисления с монотонными объектами // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ : труды Всероссийской научной конференции (24–29 сентября 2007 г., г. Новороссийск). — М. : Изд-во Московского университета, 2007. — С. 212–217. — РИНЦ PDF
  1. Andrei V. Klimov. Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs // 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, pages 248–259. Springer Berlin / Heidelberg, 2007. — ISSN 03029743. — doi:10.1007/978-3-540-70881-0_22. — Scopus РИНЦ
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 // 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, pages 137–155. Springer Berlin / Heidelberg, 2003. — ISSN 03029743. — doi:10.1007/978-3-540-39866-0_19. — Scopus DBLP РИНЦ
1999
  1. Robert Glück and Andrei V. Klimov. Reduction of language hierarchies by Metacomputation // 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. — PDF
1998
  1. Andrei V. Klimov. Program specialization vs. program composition // ACM Computing Surveys 30, Vol. 30, No. 3es (Sept. 1998), Pages 3-es. doi:10.1145/289121.289124.
FREE ACCESS TO PDF:
ACM DL Author-ize serviceProgram specialization vs. program composition
Andrei Klimov
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue, 1998
  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. doi:10.1007/BF03037321. — PDF Scopus РИНЦ
1997
  1. Robert Glück and Andrei V. Klimov. A regeneration Scheme for Generating Extensions // Information Processing Letters 62 (3), pages 127–134, 1997. doi:10.1016/S0020-0190(97)00055-0. — PDF Scopus РИНЦ
1996
  1. Andrei V. Klimov. A specification of a class of supercompilers // 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. doi:10.1080/02604027.1995.9972561. — RTF of draft PDF
1994
  1. Robert Glück and Andrei V. Klimov. Metacomputation as a tool for formal linguistic modeling // 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. — PDF of preprint
1993
  1. Robert Glück and Andrei V. Klimov. Occam's razor in metacomputation: the notion of a perfect process tree // 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. ISSN 03029743. doi:10.1007/3-540-57264-3_34. — PDF of preprint
1991
  1. Andrei V. Klimov. Dynamic specialization in extended functional language with monotone objects // Symposium on Partial Evaluation and Semantics-Based Program Manipulation (New Haven, Connecticut, USA), ACM SIGPLAN Notices 26 (9), pages 199–210, 1991. doi:10.1145/115865.376287.
FREE ACCESS TO PDF:
ACM DL Author-ize serviceDynamic specialization in extended functional language with monotone objects
Andrei V. Klimov
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 1991
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 с. PDF DJVU
1975
  1. Анд.В. Климов, С.А. Романенко. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. — М. : ИПМ АН СССР, 1975. — 86 с.
  1. Анд.В. Климов, Л.В. Проворов, С.А. Романенко, Е.В. Травкина. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Входной язык компилятора и запуск программ. — М. : ИПМ АН СССР, 1975. — Препринт № 8. 71 с.
1974
  1. Анд.В. Климов, С.А. Романенко, Е.В. Травкина. Инструкция по работе с мониторной системой "РЕФАЛ" для БЭСМ-6. — М. : ИПМ АН СССР, 1974. — 72 с.
1973
  1. С.А. Романенко, Анд.В. Климов, В.Ф. Турчин. Теоретические основы синтаксического отождествления в языке РЕФАЛ. — М. : ИПМ АН СССР, 1973. — Препринт № 13. — 65 с. PDF DJVU
1972
  1. Анд.В. Климов, С.А. Романенко, В.Ф. Турчин. Компилятор с языка Рефал. — М. : ИПМ АН СССР, 1972. — 74 с.
1971
  1. А.П. Будник, Е.В. Гай, Н.С. Работнов, Анд.В. Климов, В.Ф. Турчин, И.Б. Щенков. Базисные волновые функции и матрицы операторов коллективной модели ядра // Ядерная Физика. — Т. 14. — Вып. 2. — 1971. — С. 304-314.