![[CREST]](http://www.st-andrews.ac.uk/crests/crest9605.gif)
We will provide standard OHP facilities plus a video projector suitable for use with Macintoshes or PCs. Please let us know if you have any special requirements for your talk.
18.30--19.15 Dinner
18.00--21.00 Registration
08.30--08.50 Registration
08.50--09.00 Welcome
09.00--10.30 Session I: Benchmarking (Chris Clack)
09.00 Colin Runciman
"Partial redex trails of large functional computations"
09.30 Graeme Moss
"Auburn: A Kit for Benchmarking Functional Data Structures"
10.00 Pieter Koopman
"Memory Models for Functional Language Interpreters"
10.30--11.00 Coffee and Registration
11.00--12.45 Session II: Persistence (Tony Davie)
11.00 Ron Morrison Invited Talk
"Persistence and Functional Programming"
11.45 Claus Reinke
"On functional programming, language design, and persistence"
12.15 Martin Erwig
"Fully Persistent Graphs Which One To Choose?"
12.45--13.45 Lunch
13.45--15.35 Session III: Compilation I (Simon Peyton Jones)
13.45 Eleni Spiliopoulou
"The Brisk Machine: A Simplified STG Machine"
14.15 David Wakeling
"VSD: A Haskell to Java Virtual Machine Code Compiler"
14.45 Nick Benton
"An Optimising SML to Java Compiler"
15.15 Greg Michaelson
"Towards a Skeleton Based Parallelising Compiler for SML"
15.35--16.00 Coffee
16.00--18.00 Session IV: Distributed Computing (Bruce McKenzie)
16.00 Sava Mintchev
"Functional Programming Helps Speed up MPI"
16.30 Pascal Serrarens
"Functional Multicasting"
17.00 John O'Donnell
"Functional SPMD Programming"
17.30 Rita Loogen
"DREAM: the DistRibuted Eden Abstract Machine"
18.15--19.00 Dinner
19.30--20.30 Demonstrations [Computer Science Building, Room 228G]
Wednesday Thursday Friday
09.00--10.30 Session V: Exploiting Types (Pieter Koopman)
09.00 Torben Mogenson
"Types for 0, 1 or many uses"
09.30 Johan Agat
"Types for register allocation"
10.00 Michael Thyer
"Lazy Specialization"
10.30--11.00 Coffee
11.00--12.30 Session VI: Language and Applications (Colin Walter)
11.00 Christian Maeder
"Language Concepts of OPAL 2"
11.30 Sven-Bodo Scholz
"With-Loop-Folding in SAC - Condensing Consecutive Array
Operations"
12.00 Norman Scaife
"4 Skeletons and a Function"
12.30--13.30 Lunch
13.30--15.35 Session VII: Parallelism (Werner Kluge)
13.30 Manuel Chakravarty
"Lazy Thread Creation in the STGM"
14.00 Phil Trinder
"Keeping Lolita Busy"
14.30 Hans-Wolfgang Loidl
"Engineering Large Parallel Functional Programs"
15.00 Kevin Hammond
"Parallel Cost-Centre Profiling"
15.30 Nathan Charles
"Identifying Parallelism in Lazy Functional Programs"
15.45--18.00 Social Event: Visit to Falkland Royal Palace
19.00--22.30 Workshop Banquet -- Frigate Unicorn, Dundee
Wednesday Thursday Friday
09.00--10.30 Session VIII: Patterns
09.00 Werner Kluge
"On Pattern Matching with Wild Cards"
09.30 Markus Mohnen
"Context Patterns, Part II"
10.00 Colin Walter
"Efficient Pattern-Matching Automata"
10.30--11.00 Coffee
11.00--13.00 Session IX: Concurrency and I/O (Rita Loogen)
11.00 Einar Karlsen
"Using Concurrent Haskell to Develop User Interfaces over an Active Repository"
11.30 Bruce McKenzie
"Functional CCS"
12.00 Peter Achten
"Concepts of the Clean I/O System"
12.30 Dan Sahlin
"A Compacting Garbage Collector for Erlang"
13.00--14.00 Lunch
14.00--15.30 Session X: Compilation II (Rinus Plasmeijer)
14.00 Simon Peyton Jones
"C--: a portable assembly langage"
14.30 Sahalu Junaidu
"NAIRA: A Parallel Compiler for Message Passing Multiprocessors"
15.00 Chris Clack
"The CLOVER Rewrite Rules: A Translation from OOFP to FP"
15.30--16.00 Coffee
16.00--17.00 Session XI: Optimisation (Greg Michaelson)
16.00 Olaf Chitil
"Common Subexpression Elimination in a Lazy Functional Language"
16.30 Joao Alexandre Saraiva
"Effective Function Cache Management for Incremental Attribute Evaluation"
17.00 Close
Wednesday Thursday Friday
ifl97@dcs.st-and.ac.uk,
Mon Sep 8 19:04:46 MET 1997