jump to navigation

Programme

Wednesday, 10. September 2008

08.30 – 09.00 — Registration

Core Language Implementations

09.00 – 09.05 — Sven-Bodo Scholz
Welcome

09.05 – 09.35 — Ian Mackie
Interaction net implementation of closed reduction

09.35 – 10.05 — Pieter Wuille, Tom Schrijvers
Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures

10.05 – 10.35 — Marco T. Morazán
Down with Closures! or Memory-Efficient Dynamically Created Functions

10.35 – 11.00 — Coffee Break

Semantic Aspects

11.00 – 11.30 — Seyed H. HAERI (Hossein), Murdoch J. Gabbay, Phil W. Trinder
Reasoning about Selective Strictness

11.30 – 12.00 — Pieter Koopman, Rinus Plasmeijer, Peter Achten
An Executable and Testable Semantics for iTasks

12.00 – 12.30 — Ralf Hinze
Scans and Convolutions: A Calculational Proof of Moessner’s Theorem

— Lunch —

Libraries and Programming Techniques

14.00 – 14.30 — David Teller, Arnaud Spiwack, Till Varoquaux
Catch me if you can. Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml

14.30 – 15.00 — Nils Anders Danielsson, Ulf Norell
Parsing Mixfix Operators

15.00 – 15.30 — Bas Lijnse, Rinus Plasmeijer
Between Types and Tables. Using Generic Programming for Automated Mapping Between Data Types and Relational Databases

15.30 – 16.00 — Mauro Jaskelioff
Making Monads Transformers Modular

16.00 – 16.30 — Coffee Break

Type Systems

16.30 – 17.00 — Antoine Durand-Gasselin, Kevin Hammond, Edwin Brady
Correct-by-construction Implementation of Ordered Datatypes

17.00 – 17.30 — Alejandro Tamalet, Olha Shkaravska, Marko van Eekelen
Non-monotonic Polynomial Size Bounds for Functional Programs

17.30 – 18.00 — Philippa Cowderoy
Typing in Longhand for Easier Understanding

Thursday, 11. September 2008

Tools and Language Extensions

08.30 – 09.00 — Olaf Chitil
Heat — An Interactive Development Environment for Learning & Teaching Haskell

09.00 – 09.30 — Róbert Kitlei, László Lövei, Tamás Nagy, Zoltán Horváth, Tamás Kozsik
Preprocessor and whitespace-aware toolset for Erlang source code manipulation

09.30 – 10.00 — Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman
iEditors: Extending iTask with Interactive Plug-ins

10.00 – 10.30 — Coffee Break

Arrays and Dependent Types

10.30 – 11.00 — Malcolm Wallace
FlatPack: An Affordable Range of Large Arrays

11.00 – 11.30 — Kai Trojahner, Clemens Grelck
Efficient Representation of Array Properties through Dependent Types

11.30 – 12.00 — Edwin Brady
Idris, a language with dependent types

— Lunch —

Compilation

13.00 – 13.30 — Bernd Braßel, Sebastian Fischer
From Functional Logic Programs to Purely Functional Programs Preserving Laziness

13.30 – 14.00 — Péter Diviánszky
Translating imperative algorithms to functional code with unique variable environments

Excursion, Conference Dinner and Peter Landin Prize Presentation

Friday, 12. September 2008

Systems for Concurrent Evaluation

09.00 – 09.30 — Jost Berthold, Simon Marlow, Kevin Hammond, Abyd Al Zain
Comparing and Optimising Parallel Haskell Implementations on Multicore

09.30 – 10.00 — Jost Berthold, Mischa Dieterle, Rita Loogen
Eden Skeletons for Parallel Map-and-Reduce

10.00 – 10.30 — Frank Huch
Software Transactional Memory without Validation

10.30 – 11.00 — Coffee Break

Embedded Languages

11.00 – 11.30 — George Giorgidze, Henrik Nilsson
Embedding a Functional Hybrid Modelling Language in Haskell

11.30 – 12.00 — Yan Wang, Verónica Gaspes
A Library for Processing Ad-hoc Data in Haskell. Embedding a Data Description Language

12.00 – 12.30 — Joel Svensson, Mary Sheeran, Koen Claessen
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

12.30 – 13.00 — Krisztián Pócza, Mihály Biczó, Zoltán Porkoláb
FC#: Designing an Internal Functional DSL to C# 3.0

— Lunch —

Stream Processing

14.00 – 14.30 — Clemens Grelck, Frank Penczek
A Multithreaded Runtime System for S-Net

14.30 – 15.00 — Jeyarajan Thiyagalingam, Philip K. F. Hölzenspies, Sven-Bodo Scholz, Alex Shafarenko
A Stream-Order Relaxed Execution Model for Asynchronous Stream Languages

15.00 – 15.30 — Frank Penczek, Sven-Bodo Scholz, Clemens Grelck
Towards Reconfiguration and Self-Adaptivity in S-Net

15.30 – 15.35 — Sven-Bodo Scholz
Farewell