META 2016 papers and talks; call for participation

[Andrei Klimov]

Дорогие коллеги,

Список статей и докладов, принятых на Пятый международный семинар по метавычислениям имени В.Ф. Турчина (Fifth International Valentin Turchin Workshop on Metacomputation, META 2016), можно посмотреть на сайте http://meta2016.pereslavl.ru/papers/papers.html. Также он проведен ниже.

PDF-файлы отдельных статей и сборника целиком доступны по ссылкам на заголовки.

Программа по дням и по сессиям еще не готова, а, когда сверстаем, будет опубликована на странице http://meta2016.pereslavl.ru/program/program.html.

META 2016 состоится через неделю - с 27 июня по 1 июля - в старейшем российском городе Переславле-Залесском на берегу Плещеева озера в Институте программных систем им. А.К. Айламазяна РАН.

Те, кто еще не решился посетить workshop, еще могут принять такое решение. Зарегистрированным участникам позавчера было послано письмо с информацией о заезде. Если вы собирались приехать, но не получили это письмо, быстро свяжитесь с нами. Мы зарезервировали комнаты в новой гостинице "Тройка" в самом центре Переславля. Еще осталось несколько комнат. В ближайшее время мы снимем бронь. Если вы надумали приехать и вам нужна гостиница, откликнитесь как можно быстрее. (Если гостиница не нужна или готовы рискнуть и сами искать, где жить, можете присоединиться в любой момент.)

Организованный выезд на автобусе будет из аэропорта Шереметьево 26 июня около 16-17 часов. Москвичей просим приехать на Аэроэкспрессе. Поедем в Переславль вместе с гостями, прилетевшими издалека. Мы не стали подавать автобус в Москву, чтобы не потерять время в пробках.

Всего наилучшего, до встречи в Переславле,

Андрей Климов

---

Proceedings

Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation (PDF file)
 

Accepted Papers

Click on a paper title to get its PDF file.

• Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation (invited talk)
  Daniil Berezun and Neil D. Jones
  JetBrains and St. Petersburg State University, Russia
  University of Copenhagen, DIKU, Denmark
   
• Preliminary Report on Polynomial-Time Program Staging by Partial Evaluation
  Robert Glück
  University of Copenhagen, DIKU, Denmark
   
• Introduction to Valentin Turchin's Cybernetic Foundation of Mathematics
  Robert Glück and Andrei Klimov
  University of Copenhagen, DIKU, Denmark
  Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
   
  
• Non-Linear Configurations for Superlinear Speedup by Supercompilation
  Robert Glück, Andrei Klimov, and Antonina Nepeivoda
  University of Copenhagen, DIKU, Denmark
  Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
  Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia
   
  
• Towards Unification of Supercompilation and Equality Saturation
  Sergei Grechanik
  Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
   
  
• On Programming and Biomolecular Computation (invited talk)
  Neil D. Jones
  University of Copenhagen, DIKU, Denmark
  See also https://www.youtube.com/watch?v=NXGxcziBnV4
   
  
• Distilling New Data Types
  Venkatesh Kannan and G.W. Hamilton
  Dublin City University, Republic of Ireland
   
  
• Enhanced PCB-Based Slicing
  Husni Khanfar and Björn Lisper
  Mälardalen University, Sweden
   
• Derivation of Parallel Programs of Recursive Doubling Type by Supercompilation with Neighborhood Embedding
  Arkady Klimov
  Institute for Design Problems in Microelectronics of Russian Academy of Sciences, Russia
   
  
• A Supercompiler Assisting Its Own Formal Verification
  Dimitur Krustev
  IGE+XAO Balkan, Bulgaria
   
  
• Simple Programs on Binary Trees – Testing and Decidable Equivalence
  Dimitur Krustev
  IGE+XAO Balkan, Bulgaria
   
  
• On a Method of Verification of Functional Programs
  Andrew Mironov
  Moscow State University, Russia
   
• Complexity of Turchin's Relation for Call-by-Name Computations
  Antonina Nepeivoda
  Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia
   
  
• Algorithm Design Patterns: Programming Theory Perspective
  Nikolay Shilov
  A.P. Ershov Institute of Informatics Systems of Russian Academy of Sciences, Russia
   

Additional Talks

These talks are mainly based on other publications and absent in the META 2016 proceedings.

• Language Support for Generic Programming in Object-Oriented Languages: Design Challenges
  Julia Belyakova
  Southern Federal University, Rostov-on-Don, Russia
  The talk is based on the publication in the Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering (SyRCOSE 2016), pp. 9-19. Here is the separate pdf file of the paper.
   
• On the Simulation of Two-Way Nondeterministic Pushdown Automata
  Robert Glück
  University of Copenhagen, DIKU, Denmark
   
• Ping-Pong Protocols as Prefix Grammars: Modeling and Verification via Program Transformation
  Antonina Nepeivoda
  Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia
  The talk is based on the publications in the Proceedings of the Second International Workshop on Verification and Program Transformation (VPT 2014) - see the page of the paper with the pdf file, and in Proceedings on Functional Programming Language Refal, Volume II, pp. 115-153 (in Russian)
   
• Algebraic Transformations as Program Transformations
  Nikolai Nepejvoda
  Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia