Proceedings

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

Accepted Papers

Click on a paper title to get its PDF file.

• AutoPar: Automating the Parallelization of Functional Programs
  Michael Dever and Geoff Hamilton
  Dublin City University, Republic of Ireland
   
• Inductive Prover Based on Equality Saturation for a Lazy Functional Language (Extended Version)
  Sergei Grechanik
  Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
   
• Staged Multi-Result Supercompilation: Filtering by Transformation
  Sergei Grechanik, Ilya Klyuchnikov, and Sergei Romanenko
  Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
   
• Supercompiling with Staging
  Jun Inoue
  INRIA / École Normale Supérieure, France
   
• Towards Understanding Superlinear Speedup by Distillation
  Neil Jones and Geoff Hamilton
  University of Copenhagen, DIKU, Denmark
  Dublin City University, Republic of Ireland
   
• Extracting Data Parallel Computations from Distilled Programs
  Venkatesh Kannan and Geoff Hamilton
  Dublin City University, Republic of Ireland
   
• On Valentin Turchin’s Works on Cybernetic Philosophy, Computer Science and Mathematics
  Andrei Klimov
  Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
   
• Construction of Exact Polyhedral Model for Affine Programs with Data Dependent Conditions
  Arkady Klimov
  Institute for Design Problems in Microelectronics of Russian Academy of Sciences, Russia
   
• Nullness Analysis of Java Bytecode via Supercompilation over Abstract Values
  Ilya Klyuchnikov
  JetBrains; Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
   
• An Approach for Modular Verification of Multi-Result Supercompilers (Work in Progress)
  Dimitur Krustev
  IGE+XAO Balkan, Bulgaria
   
• A Method of a Proof of Observational Equivalence of Processes
  Andrew Mironov
  Institute of Informatics Problems of Russian Academy of Sciences, Russia
   
• Turchin's Relation and Subsequence Relation on Traces Generated by Prefix Grammars
  Antonina Nepeivoda
  Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia
   
• Algebraic Structures of Programs: First Steps to Algebraic Programming
  Nikolai Nepeivoda
  Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia