Program

Time slots for talks - 45 min including questions.
At the end of each session 30 min are reserved for discussion.
30 min coffee breaks are after the first two talks in the morning sessions and after the first talk in the afternoon sessions.

Sunday, June 29, 2014

09:30 Bus from the Lesnaya Skazka Hotel to the Program Systems Institute

09:45 Registration

11:00 Session 1: Valentin Turchin Memorial

• Sergei Abramov (PSI RAS, Pereslavl-Zalessky, Russia)
  Opening META 2014

• Andrei Klimov (KIAM RAS, Moscow, Russia)
  On Valentin Turchin’s Works on Cybernetic Philosophy, Computer Science and Mathematics

• Talks in memory of Valentin Turchin

13:00 Bus from the Program Systems Institute to the Oasis restaurant
           Lunch
14:00 Bus from the Oasis restaurant to the Program Systems Institute

14:30 Session 2

• Boris Schapiro (Berlin, Germany)
  On the Way to the Theory of Sumjects and Paradigms: a New Approach to Understanding and Control of Complex Systems that Make Decisions about Themselves

• Honoring Neil D. Jones for ACM Programming Languages Achievement Award 2014

17:00 Bus from the Program Systems Institute to Welcome party in the Lesnaya Skazka hotel

Monday, June 30, 2014

09:30 Bus from the Lesnaya Skazka Hotel to the Program Systems Institute

10:00 Session 3: Distillation and Multi-Result Supercompilation

• Neil Jones (DIKU, Copenhagen, Denmark) (with Geoff Hamilton)
  Towards Understanding Superlinear Speedup by Distillation

• Sergei Romanenko (with Sergei Grechanik and Ilya Klyuchnikov)
  Staged Multi-Result Supercompilation: Filtering by Transformation

• Dimitur Krustev (IGE+XAO Balkan, Sofia, Bulgaria)
  An Approach for Modular Verification of Multi-Result Supercompilers (Work in Progress)

13:00 Bus from the Program Systems Institute to the Oasis restaurant
           Lunch
14:00 Bus from the Oasis restaurant to the Program Systems Institute

14:30 Session 4: Topics of Supercompilation

• Jun Inoue (INRIA, Paris, France)
  Supercompiling with Staging

• Antonina Nepeivoda (PSI RAS, Pereslavl-Zalessky, Russia)
  Turchin's Relation and Subsequence Relation on Traces Generated by Prefix Grammars

17:00 Bus from the Program Systems Institute to the Lesnaya Skazka hotel

Tuesday, July 1, 2014

Time of departure from the Lesnaya Skazka hotel to be announced

Excursion to the ancient Russian city of Yaroslavl (110 km from Pereslavl)

Wednesday, July 2, 2014

09:30 Bus from the Lesnaya Skazka Hotel to the Program Systems Institute

10:00 Session 5: Automated Theorem Proving and Algebra of Programming

• Nikolai Nepeivoda (PSI RAS, Pereslavl-Zalessky, Russia)
  Algebraic Structures of Programs: First Steps to Algebraic Programming

• Andrew Mironov (IPI RAS, Moscow, Russia)
  A Method of a Proof of Observational Equivalence of Processes

• Sergei Grechanik (KIAM RAS, Moscow, Russia)
  Inductive Prover Based on Equality Saturation for a Lazy Functional Language (Extended Version)

13:00 Bus from the Program Systems Institute to the Oasis restaurant
           Lunch
14:00 Bus from the Oasis restaurant to the Program Systems Institute

14:30 Session 6: Practical Metacomputation

• Ilya Klyuchnikov (JetBrains; KIAM RAS, Moscow, Russia)
  Nullness Analysis of Java Bytecode via Supercompilation over Abstract Values

• Akihiko Takano (NII, Tokyo, Japan)
  From Search to Association: bridging the isolated silos of knowledge

17:00 Bus from the Program Systems Institute to the Lesnaya Skazka hotel

Thursday, July 3, 2014

09:30 Bus from the Lesnaya Skazka Hotel to the Program Systems Institute

10:00 Session 7: Parallelization by Metacomputation

• Geoff Hamilton (DCU, Dublin, Republic of Ireland) (with Venkatesh Kannan)
  Extracting Data Parallel Computations from Distilled Programs

• Michael Dever (DCU, Dublin, Republic of Ireland) (with Geoff Hamilton)
  AutoPar: Automating the Parallelization of Functional Programs

• Arkady Klimov (IDPM RAS, Moscow, Russia)
  Construction of Exact Polyhedral Model for Affine Programs with Data Dependent Conditions

13:00 Bus from the Program Systems Institute to the Oasis restaurant
           Lunch
14:00 Bus from the Oasis restaurant to the Program Systems Institute

Session 8

14:30

• Robert Glück (DIKU, Copenhagen, Denmark)
  Simulation of Two-Way Pushdown Automata Revisited

• Ilya Klyuchnikov (JetBrains; KIAM RAS, Moscow, Russia)
  Certifying supercompilation for Martin-Löf's type theory

18:00 Bus from the Lesnaya Skazka Hotel to the Popop Loog restaurant
           Workshop dinner