Andrei Klimov's Publications

61. А.И. Адамович, Анд.В. Климов. О детерминированной параллельной реализации метода ветвей и границ на монотонных объектах // XXI Всероссийская научная конференция «Научный сервис в сети Интернет» (Новороссийск, 23–28 сентября 2019 г.). — М. : ИПМ им. М.В. Келдыша, 2019. — 16 стр. — (В печати). — PDF

60. А.И. Адамович, Анд.В. Климов. Подход к построению системы детерминированного параллельного программирования на основе монотонных объектов // Вестник СибГУТИ. — 2019. — № 3. — С. 14–26. — ISSN 1998-6920. — Link PDF Code in Github

59. 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

• А.И. Адамович, Анд.В. Климов. Принципы построения системы детерминированного параллельного программирования // Наукоемкое программное обеспечение : труды семинара 12-й Междунар. Ершовской конф. по информатике (ПCИ’19). 2–3 июля 2019 г. / Ин-т систем информатики им. А.П. Ершова СО РАН, Новосиб. гос. ун-т. — Новосибирск : ИПЦ НГУ, 2019. — С. 26–33. — ISBN 978-5-4437-0909-3. — (Short version of [60]). — PDF (typos fixes) Slides

58. 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

57. Анд.В. Климов, С.А. Романенко. Суперкомпиляция: основные принципы и базовые понятия // Препринты ИПМ им. М.В. Келдыша. — 2018. — № 111. — С. 1–36. — doi:10.20948/prepr-2018-111. — РИНЦ Link PDF

56. А.И. Адамович, Анд.В. Климов. Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ // Программные системы: теория и приложения. — 2017. — Т. 8. — № 4 (35). — С. 221–244. — doi:10.25209/2079-3316-2017-8-4-221-244. — РИНЦ PDF

55. Анд.В. Климов, С.А. Романенко. Краткая история суперкомпиляции в России // Языки программирования и компиляторы – 2017 : труды конференции / под ред. Д.В. Дуброва. — Ростов-на-Дону : Из-во Южного федерального университета, 2017. — С. 147–152. — РИНЦ Proceedings PDF Slides

54. А.И. Адамович, Анд.В. Климов. Об опыте использования среды метапрограммирования Eclipse/TMF для конструирования специализированных языков // Научный сервис в сети Интернет : труды XVIII Всероссийской научной конференции (19-24 сентября 2016 г., г. Новороссийск). — М. : ИПМ им. М.В. Келдыша, 2016. — С. 3–8. — ISBN 978-5-98354-027-9. — doi:10.20948/abrau-2016-45. — РИНЦ PDF

53. 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

52. 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

51. 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

50. 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 РИНЦ

49. 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 РИНЦ

48. 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

47. 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 РИНЦ

46. 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

45. 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

44. Анд.В. Климов. Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем // Моделирование и анализ информационных систем. — Том 18. — Номер 4. — Ярославль : Ярославский госуниверситет им. П.Г. Демидова, 2011. — С. 106–117. — РИНЦ PDF

43. Анд.В. Климов. О работах Валентина Федоровича Турчина по кибернетике и информатике // А.Н. Томилин (ред.), Труды SORUCOM-2011. Вторая международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР, 12–16 сентября 2011, Великий Новгород, Россия. — 2011. — С. 149–154. — ISBN 978-5-98769-088-8. — Proceedings HTML PDF

42. Анд.В. Климов. Решение задачи покрываемости для счетчиковых систем алгоритмами, основанными на суперкомпиляции // Труды XVI Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» (ИМТ 2011), 1–10 июля 2011 г., Иркутск – Байкал. Часть III. — Иркутск : ИСЭМ СО РАН, 2011. — С. 15–24. — ISBN 978-5-93908-094-1.

41. 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.

40. 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.

39. 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.

38. Анд.В. Климов. Верификация моделей протоколов с помощью суперкомпиляторов: почему это удается? // Научный сервис в сети Интернет: суперкомпьютерные центры и задачи : труды Международной суперкомпьютерной конференции, 20–25 сентября 2010 г., г. Новороссийск. — М. : Изд-во МГУ, 2010. — С. 45–49. — ISBN 978-5-211-05916-0. — РИНЦ PDF

37. И.А. Адамович, А.В. Климов, Ю.А. Климов, А.Ю. Орлов, А.Б. Шворин. Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора» // Программные системы: теория и приложения. — 2010. — Т. 1. № 3. — С. 107–123. — ISSN 2079-3316. — РИНЦ Link PDF

• И.А. Адамович, А.В. Климов, Ю.А. Климов, А.Ю. Орлов, А.Б. Шворин. Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора» // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета. — 2010. — № 3. — С. 107.

36. Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Возможности суперкомпьютеров «СКИФ» ряда 4 по аппаратной поддержке в ПЛИС различных моделей параллельных вычислений // Материалы международной научно-технической конференции «Суперкомпьютерные технологии: разработка, программирование, применение» (СКТ-2010), 27 сентября – 2 октября 2010, Дивноморское, Россия. — Таганрог : Изд-во ТТИ ЮФУ, 2010. — Том 1. — С. 11–21. — ISBN 978-5-8327-0383-1.

35. Абрамов С.М., Дбар С.А., Климов А.В., Климов Ю.А., Лацис А.О., Московский А.А., Орлов А.Ю., Шворин А.Б. Разработка методов поддержки различных моделей параллельных вычислений и систем гибридного программирования на суперкомпьютерах с ПЛИС // Результаты целевых ориентированных фундаментальных исследований и их использование в российской промышленности : Материалы ежегодной научной конференции, 19–23 апреля 2010, г. Таганрог. — Таганрог : Изд-во ТТИ ЮФУ, 2010. — С. 49–59. — ISBN 978-5-8327-0375-6.

34. 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 РИНЦ

33. Анд.В. Климов. Применение суперкомпилятора языка Java для решения обратных задач в стиле логического программирования // Труды XIV Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» (ИМТ 2009), 5–15 июля 2009 г., Иркутск – Байкал. Часть III. — Иркутск : ИСЭМ CO РАН, 2009. — С. 165–172. — ISBN 978-5-93908-077-4. — PDF Slides

32. 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

31. Анд.В. Климов. Особенности построения суперкомпилятора языка Java // Научный сервис в сети Интернет: решение больших задач : труды Всероссийской научной конференции (21–27 сентября 2008 г., г. Новороссийск). — М. : Изд-во Московского университета, 2008. — С. 252–256. — ISBN 978-5-211-05616-9. — РИНЦ Link PDF

30. 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

29. 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

28. 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

27. Анд.В. Климов. Введение в метавычисления и суперкомпиляцию // Будущее прикладной математики : Лекции для молодых исследователей. От идей к технологиям. — М. : Изд-во КомКнига, 2008. — С.  343–368. — ISBN 978-5-484-01028-8. — PDF

26. Анд.В. Климов. Детерминированные параллельные вычисления с монотонными объектами // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ : труды Всероссийской научной конференции (24–29 сентября 2007 г., г. Новороссийск). — М. : Изд-во Московского университета, 2007. — С. 212–217. — РИНЦ PDF

25. 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 РИНЦ

24. Анд.В. Климов. Построение доказуемо корректного суперкомпилятора простого функционального языка // Научный сервис в сети Интернет: технологии параллельного программирования : труды Всероссийской научной конференции (18–23 сентября 2006 года, Новороссийск). — М. : Изд-во Московского университета, 2006. — С. 165–167. — РИНЦ

• 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. — Novosibirsk : A.P. Ershov Institute of Informatics Systems, 2009. — P. 141–147. — (Superseded by [25]).

23. Анд.В. Климов. Декларативное определение суперкомпиляции как отношения между входной и выходной программами и его свойства // Научный сервис в сети Интернет: технологии распределенных вычислений : труды Всероссийской научной конференции (19–24 сентября 2005 года). — М. : Изд-во Московского университета, 2005. — С. 93–95. РИНЦ

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 // 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 РИНЦ

21. 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

20. 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:

Program specialization vs. program composition

Andrei Klimov
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue, 1998

19. 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 РИНЦ

18. 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 РИНЦ

17. 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.

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. doi:10.1080/02604027.1995.9972561. — RTF of draft PDF

15. 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

14. 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

13. 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:

Dynamic 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

12. Анд.В. Климов. Объектно-функциональная модель вычислений // Семиотические аспекты формализации интеллектуальной деятельности. — М. : ВИНИТИ, 1988. — С. 49-53.

11. Анд.В. Климов, С.А. Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. — М. : ИПМ им. М.В. Келдыша АН СССР, 1987. — Препринт № 71. — 32 с. — PDF DJVU

10. Анд.В. Климов, С.А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. — М. : ИПМ им. М.В. Келдыша АН СССР, 1987. — 52 с. — PDF DJVU

9. Анд.В. Климов, С.А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. — М. : ИПМ им. М.В. Келдыша АН СССР, 1986. — Препринт № 200. — 38 с. — PDF DJVU

8. Анд.В. Климов. Применение концепции смешанных вычислений для конструирования объектно-ориентированного функционального языка программирования // Семиотические аспекты формализации интеллектуальной деятельности. — М. : ВИНИТИ, 1983. — С. 67-70.

7. Анд.В. Климов, Арк.В. Климов, А.Г. Красовский, С.А. Романенко, Е.В.Травкина, В.Ф. Турчин, В.Ф. Хорошевский, И.Б. Щенков. Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации). Фонд алгоритмов и программ для ЭВМ (в отрасли "Строительство"), специальный раздел, V-40. — М. : ЦНИПИАСС, 1977. — 258 с. — PDF DJVU

6. Анд.В. Климов, С.А. Романенко. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. — М. : ИПМ АН СССР, 1975. — 86 с.

5. Анд.В. Климов, Л.В. Проворов, С.А. Романенко, Е.В. Травкина. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Входной язык компилятора и запуск программ. — М. : ИПМ АН СССР, 1975. — Препринт № 8. 71 с.

4. Анд.В. Климов, С.А. Романенко, Е.В. Травкина. Инструкция по работе с мониторной системой "РЕФАЛ" для БЭСМ-6. — М. : ИПМ АН СССР, 1974. — 72 с.

3. С.А. Романенко, Анд.В. Климов, В.Ф. Турчин. Теоретические основы синтаксического отождествления в языке РЕФАЛ. — М. : ИПМ АН СССР, 1973. — Препринт № 13. — 65 с. — PDF DJVU

2. Анд.В. Климов, С.А. Романенко, В.Ф. Турчин. Компилятор с языка Рефал. — М. : ИПМ АН СССР, 1972. — 74 с.

1. А.П. Будник, Е.В. Гай, Н.С. Работнов, Анд.В. Климов, В.Ф. Турчин, И.Б. Щенков. Базисные волновые функции и матрицы операторов коллективной модели ядра // Ядерная Физика. — Т. 14. — Вып. 2. — 1971. — С. 304-314.