Schedule

Every talk is 25 minutes including questions.

Here is a PDF version of the schedule for printing.

                      
THURSDAY, 27th September
8:00-8:50 Registration
8:50-9:00 Welcome
9:00-10:40 Session: Compilation I (Sven-Bodo Scholz)
9:00 Marco T Morazan, Ulrik Schultz
Call Graphs, Dominator Trees, and Lambda Lifting
9:25 Marc Feeley
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler
9:50 Atze Dijkstra, Jeroen Fokker, Doaitse Swierstra
The Structure of the Essential Haskell compiler, or Coping with Compiler Complexity
10:15 Neil Mitchell, Colin Runciman
Supero: Making Haskell Faster
10:40-11:20 Coffee Break
11:20-13:00 Session: Applications I (Ken Friis Larsen)
11:20 Colin Runciman, David Duke, Rita Borgo, Malcolm Wallace
Polytopes & Polytypes: Generic Isosurfacing & Functional Programming
11:45 Erik Zuurbier, Rinus Plasmeijer
Car Damage Subrogation Workflow — an iTask exercise
12:10 Rinus Plasmeijer, Jan Martin Jansen, Pieter Koopman, Peter Achten
Transparent Ajax and Client-Site Evaluation of iTasks
12:35 Baltasar Trancón y Widemann, David L. Parnas
Tabular Expressions and Total Functional Programming
13:00-14:00 Lunch
14:00-15:40 Session: Parallelism I (Zoltán Horvath)
14:00 Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
To be or not to be ... lazy
14:25 Phil Trinder, Abyd Al Zain, Kevin Hammond
Evaluating and Using a Grid-Enabled Parallel Haskell
14:50 Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe
Functional Master-Worker Skeletons
15:15 Matthew Naylor, Colin Runciman
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA
15:40-16:20 Coffee Break
16:20-18:00 Session: Types I (Glenn Strong)
16:20 Marko van Eekelen, Olha Shkaravska
Static Inference of Non-Monotonic Polynomial Sized Types
16:45 Dirk Kleeblatt
Checking Dependent Types Efficiently
17:10 Edsko de Vries, Rinus Plasmeijer, David Abrahamson
Uniqueness Typing Simplified
17:35 Mikolaj Konarski
The Simple Category of Modules
FRIDAY, 28th September
8:30-9:00 Registration
9:00-10:40 Session: Contracts (Manuel Chakravarty)
9:00 Dana Na Xu, Simon Peyton Jones, Koen Claessen
Static Contract Checking for Haskell
9:25 Robert Bruce Findler, Shu-yu Guo, Anne Rogers
Lazy Contract Checking for Immutable Data Structures
9:50 Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
10:15 Máté Tejfel, Tamás Kozsik, Zoltán Horváth
An Interpretation of Temporal Properties in Functional Programs
10:40-11:20 Coffee Break
11:20-13:00 Session: Algorithms & Data Structures (Rita Loogen)
11:20 Malcolm Wallace
Partial Parsing: Combining Choice with Commitment
11:45 Steffen Mazanek, Mark Minas
Graph Parser Combinators
12:10 Frank Huch, Sebastian Fischer
Efficient, Modular Tries
12:35 Sebastian Fischer, Frank Huch
Generic Programming Combinators
13:00-14:10 Lunch and meeting of steering committee
14:10-16:00 Session: Foundations (Doaitse Swierstra)
14:10 Announcements for IFL 2008
14:20 Olivier Danvy
Amortizing the Cost of Commuting Conversions when Beta-Reducing Monadic Normal Forms and A-Normal Forms
14:45 José Almeida, Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça
Encoding Iterators in Interaction Nets
15:10 Chunxu Liu, Greg Michaelson
HW-Hume in Isabelle
15:35 Salvador Lucas, Ricardo Peña
Termination and Complexity Bounds for SAFE programs
16:00- Excursion to Breisach and Symposium Dinner including Peter Landin Prize Presentation
SATURDAY, 29th September
8:30-9:00 Registration
9:00-10:40 Session: Applications II (Peter Achten)
9:00 Michael Nissen, Ken Friis Larsen
FunSETL &mdash Functional Reporting for ERP Systems
9:25 Clemens Grelck, Frank Penczek
On Implementing S-Net
9:50 Olivier Michel, Jean-Louis Giavitto
Incremental Extension of a Domain Specific Language Interpreter
10:15 Oleg Lobachev
Towards an Implementation of a Computer Algebra System in a Functional Programming Language
10:40-11:20 Coffee Break
11:20-13:00 Session: Program Development (Malcolm Wallace)
11:20 Huiqing Li, Simon Thompson
Testing Erlang Refactorings with QuickCheck
11:45 Christopher Brown, Simon Thompson
Splitting and Merging Program Refactorings
12:10 Bernd Braßel, Holger Siegel
Debugging Lazy Functional Programs by Asking the Oracle
12:35 Ádám Sipos, Zoltán Porkoláb, Norbert Pataki, Viktória Zsók
Meta<Fun> — Towards a Functional-Style Interface for C++ Template Metaprograms
13:00-14:00 Lunch
14:00-15:40 Session: Compilation & Parallelism (Marc Feeley)
14:00 Peter Jonsson, Johan Nordlander
Positive Supercompilation for a Higher Order Call-By-Value Language
14:25 Andreas Koltes, John O'Donnell
Circuit Parallelism in Haskell Programs
14:50 Martin Sulzmann, Edmund Lam
Haskell - Join - Rules
15:15 Kevin Hammond
Lightweight Multithreading for Effective Exploitation of Multicore Architectures using Hume
15:40-16:20 Coffee Break
16:20-18:00 Session: Types II (Michel Mauny)
16:20 Martin Sulzmann, Kenny Zhuo Ming Lu
XHaskell - Adding Regular Expression Types to Haskell
16:45 Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, Manuel Chakravarty
Towards Open Type Functions for Haskell
17:10 Pieter Koopman, Peter Achten, Rinus Plasmeijer
On the Validation of Specifications used in Model-Based Testing
17:35 Glenn Strong
Approaches to Subtyping in Functional Languages

All sessions take place in room 101-00-026, which is located in building 101 of the Faculty of Applied Sciences of the University of Freiburg.