Andrei Klimov's Selected Publications

2011
  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 17 – 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.
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: 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].)
  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. Preprint, Keldysh Inst. Appl. Math., Russian Academy of Sciences, Moscow, 2008, N 26. 28 pages. 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. Link
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 (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
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. 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, pages 112-123. Springer Berlin / Heidelberg, 1993. Link 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