Proceedings of the Workshop (PDF file)

1. Programming in Biomolecular Computation

• Lars Hartmann, Department of Computer Science (DIKU), University of Copenhagen, Denmark
• Neil D. Jones, Department of Computer Science (DIKU), University of Copenhagen, Denmark
• Jakob Grue Simonsen, Department of Computer Science (DIKU), University of Copenhagen, Denmark

2. Supercompilation by Evaluation

• Simon Peyton-Jones, Microsoft Research, United Kingdom
• Max Bolingbroke, University of Cambridge, United Kingdom

3. Preliminary Report on a Self-Applicable Online Partial Evaluator for Flowchart

• Robert Glück Computer Science Department (DIKU), University of Copenhagen, Denmark

4. A Graph-Based Definition of Distillation

• Geoff Hamilton, School of Computing Dublin City University, Ireland
• Gavin Mendel-Gleason, School of Computing Dublin City University, Ireland

5. Strengthening Supercompilation For Call-By-Value Languages

• Peter A. Jonsson, Luleå University of Technology, Sweden
• Johan Nordlander, Luleå University of Technology, Sweden

6. Solving Reachability Problem for Monotonic Counter Systems by Supercompilation

• Andrei V. Klimov, Keldysh Institute of Applied Mathematics, Russian Academy of Sciences

7. Towards Higher-Level Supercompilation

• Ilya Klyuchnikov, Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
• Sergei A. Romanenko, Keldysh Institute of Applied Mathematics, Russian Academy of Sciences

8. A Simple Supercompiler Formally Verified in Coq

• Dimitur Krustev, IGE+XAO Balkan, Bulgaria

9. Supercompilation and Normalisation By Evaluation

• Gavin Mendel-Gleason, School of Computing Dublin City University, Ireland
• Geoff Hamilton, School of Computing Dublin City University, Ireland

10. A Method of Verification of Functional Programs Based on Graph Models

• Andrew Mironov, Moscow State University, Russia

11. Supercompilation and the Reduceron

• Jason S. Reich, Department of Computer Science, University of York, United Kingdom
• Matthew Naylor, Department of Computer Science, University of York, United Kingdom
• Colin Runciman, Department of Computer Science, University of York, United Kingdom

12. A Note on three Programming Paradigms

• Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences