IFL'05 Programme

A PDF Version is available

Sunday, September 18th, 2005

20:00 Pre-registration social meeting, O'Neills pub, Suffolk Street (see item 11 on map).

Monday, September 19th, 2005

08:00 Registration (Lloyd Building, Room LB04)
08:50 Welcome

Session 1 - Chair : Andrew Butterfield

09:00 : "A Generic Approach to Syntax Tree Operations Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
09:30 : "A Rational Deconstruction of Landin's J Operator" Olivier Danvy
10:00 : "A document-centered environment for Haskell" Keith Hanna

10:30 : Coffee

Session 2 - Chair : Marco Morazán

11:00 : "Composable Memory Transactions in Concurrent Haskell" Frank Huch and Frank Kupke
11:30 : "Strong Mobility in Mobile Haskell" Andre Rauber Du Bois, Phil Trinder, and Hans-Wolfgang Loidl
12:00 : "Substructural Functional Programming" Peter Divianszky
12:30 : Lunch

Session 3 - Chair : Zoltán Horváth

13:30 : "With-Loop Fusion for Data Locality and Parallelism" Clemens Grelck, Karsten Hinckfuß, and Sven-Bodo Scholz
14:00 : "Strict rho-calculus for typed functional languages" Maribel Fernandez, Ian Mackie, and Francois-Regis Sinot
14:30 : "A Framework for Point-free Program Transformation" Alcino Cunha, Jorge Sousa Pinto, and Jose Proenca
15:00 : Coffee

Session 4 - Chair : Clemens Grelck

15:30 : "Towards Constraint-based Type Inference with Polymorphic Recursion for Functional and Logic Programs" Tom Schrijvers and Maurice Bruynooghe
16:00 : "A Dependently Typed Framework for Static Analysis of Program Execution Costs" Edwin Brady and Kevin Hammond
16:30 : "Encoding Strategies in the lambda-calculus with Interaction Nets" Ian Mackie

17:00 : IFL Steering Committee (Chair: Rinus Plasmeijer)

Tuesday, September 20th, 2005

Session 5 - Chair : Phil Trinder

09:00 : "Implementing a numerical solution of the KPI equation using Single Assignment C: lessons and experiences" Alex Shafarenko, Sven-Bodo Scholz
09:30 : "Testing Higher Order Functions" Pieter Koopman and Rinus Plasmeijer
10:00 : "Effects of Changing Strictness Properties" Marko van Eekelen and Maarten de Mol
10:30 : Coffee

Session 6 - Chair : Joe Kiniry

11:00 : "Efficient Intensional Implementation for Lazy Functional Languages" A. Charalambidis, A. Grivas, N. Papaspyrou, and P. Rondogiannis
11:30 : "Reducing Extraneous Parameters During Lambda Lifting" Marco T. Morazan and Barbara Mucha
12:00 : "Implementing Distributed Skeletons using D-Clean and D-Box" Zoltan Horvath, Zoltan Hernyak, Viktoria Zsok
12:30 : "Data Types and Pattern Matching by Function Application" Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer
13:00 : Lunch

14:00 : Excursion (returns late)

Wednesday, September 21st, 2005

Session 7 - Chair : Barak Pearlmutter

09:00 : "Correct Computations Direct Debugging" Thomas Davie and Olaf Chitil
09:30 : "A Binding-Time Analysis for Inferring Array Shapes" Clemens Grelck, Sven-Bodo Scholz, and Alex Shafarenko
10:00 : "The COOSY Debugging Environment – Tool Demo –" Parissa H. Sadeghi and Frank Huch
10:30 : Coffee

Session 8 - Chair : Frank Huch

11:00 : "Pretty Printing with Partial Continuations" Olaf Chitil
11:30 : "GenParKB: Using Generative Programming to Optimise a (Parallel) Knuth-Bendix Algorithm for Symbolic Computations" Leonid Timochouk and Kevin Hammond
12:00 : "The Implementation of iData - A Case Study in Generic Programming" Rinus Plasmeijer and Peter Achten
12:30 : Lunch

Session 9 - Chair : Kevin Hammond

13:30 : "Optimisation and Space Behaviour" Laszlo Nemeth
14:00 : "Accurate Step Counting" Catherine Hope and Graham Hutton
14:30 : "The de Bruijn principle and the compositional design of programming languages" Simon Dobson
15:00 : Coffee

Session 10 - Chair : Rinus Plasmeijer

15:30 : "Perturbation Confusion and Referential Transparency - Correct Functional Implementation of Forward-Mode AD" Jeffrey Mark Siskind and Barak A. Pearlmutter
16:00 : "Modelling "Imperative" Clean in RAISE" Richard Hayes
16:30 : "The De Bruijn Criterion and Program Verification" Joseph Kiniry
17:00 : Close