μετα 2008

First International Workshop on Metacomputation in Russia
 

July 2-5, 2008, Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia

Home
Call For Papers
Submissions
Accepted Papers
Program
Important Dates
Registration
Visa Support
Place
Affiliated Meetings
Contacts
Sponsors

 

 

 

Preliminary Program

Wednesday, July 2, 2008

Session 1: Distillation and Higher-order Supercompilation

10:00

  • Sergei M. Abramov. Opening Keynote Speech (15 min)

  • Geoff Hamilton and Humayun Kabir. Constructing Programs From Metasystem Transition Proofs (45 min)

  • Tutorial: Robert Glück. Is there a Self-Generating Specializer? (45 min)

Lunch

14:30

  • Discussion on Distillation and Higher-order Supercompilation

Thursday, July 3, 2008

 Session 2: Partial Evaluation and Supercompilation

10:00

  • Lars Hartmann, Neil Jones and Jakob Grue Simonsen. Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (45 min)

  • Andrei Nemytykh. On the Place of Supercompilation inside Program Specialization (45 min)

  • Sergei Romanenko. Higher-Order Functions as a Substitute for Partial Evaluation (45 min)

Lunch

14:30

  • Yuri A. Klimov. An Approach to Polyvariant Binding Time Analysis for a Stack-Based Language (45 min)

  • Andrei Klimov. A Program Specialization Relation Based on Supercompilation and its Properties (45 min)

  • Discussion

Friday, July 4, 2008

Session 3: Applications of Metacomputation

10:00

  • Andrei V. Klimov. An approach to Supercompilation for Object-oriented Languages: the Java Supercompiler Case Study (45 min)

  • Alexei P. Lisitsa and Andrei P. Nemytykh. Verification as Specialization of Interpreters with Respect to Data (45 min)

  • Alexei P. Lisitsa and Matt Webster. Supercompilation for Equivalence Testing in Metamorphic Computer Viruses Detection (30 min)

Lunch

14:30

  • Tutorial: Robert Glück. Reversible Machine Code and Its Abstract Processor Architecture (45 min)

  • Yuri A. Klimov and Anton Yu. Orlov. XSG: Fair Language with Built-in Equality (45 min)

  • Discussion on Applications

Saturday, July 5, 2008

Session 4: Computer Algebra

10:00

  • Victor L. Kistlerov. The Language FLAC: Computational Model and Modularity (30 min)

  • Sergei D. Mechveliani. An Experience with Term Rewriting for Program Verification (30 min)

  • Igor B. Shchenkov. Data Abstraction in a Language of Multilevel
    Computations Based on Pattern Matching (30 min)

  • Final Discussion

Lunch
Excursion
Dinner and Final Discussion