Implementation of Functional Languages

10th. International Workshop (IFL'98)

DRAFT Programme

Talks will be 20 minutes long including questions. We will provide standard OHP facilities plus a video projector suitable for use with PCs with VGA output. Please let us know if you have any special requirements for your talk.

Tuesday 8th September 1998

Wednesday 9th September 1998

08.30--08.50    Registration

08.50--09.00    Welcome

09.00--10.40    Session I:      Programming I            (Chris Clack)

        09.00   Martin Erwig  
                "The Categorical Imperative - or: How to Hide your State Monads"

        09.20   Thorsten H.G. Zoerner                
		"Numerical Analysis and Functional Programming"

        09.40   Pieter Koopman                
		" A new implementation technique for parser combinators"

        10.00   Cyrus F. Nourani                
		"Abstract Programming and Functional Implementations"

        10.20   Discussion and Announcements

10.40--11.10    Coffee and Registration

11.10--13.00   Session II:     Compilation and Implementation I             (Simon Peyton Jones)

        11.10   Marco Pil                
		"Dynamic Types and Type Dependent Functions"

        11.30   Bruce J. McAdam
                "On the Unification of Substitutions in Type Inference"

        11.50   Sjaak Smetsers
                "Strictness Typing"

        12.10   Kwanghoon Choi
                "A Practical Implementation of Root Optimisation in G-machine"

        12.30   Discussion

13.00--14.00   Lunch 

14.00--15.40   Session III:    Parallelism I           (Greg Michaelson)

        14.00   Silvia Breitinger
                "Parallel Programming with Haskell and MPI"

        14.20   Clemens Grelck
                "Shared Memory Multiprocessor Support for SAC"

        14.40   Jon G. Hall
                "An Operational Semantics for Parallel Lazy Evaluation"

        15.00   Juan Quintela
                "Efficient Persistent Haskell"

        15.20   Discussion

15.40--16.10    Tea


16.10--18.30    Session IV:     Parallelism II   (Kevin Hammond)

        16.10   Mohammad Hamdan
                "A scheme for nesting algorithmics skeletons"

        16.30   Norman Scaife
                "Engineering a Parallel Compiler for Standard ML"

        16.50   Thomas Nitsche
                "Transformation of Cover Specifications into Communication Patterns for Parallel Systems"

        17.10   Simon Peyton Jones
                "The New GHC/HUGS Runtime System"

        17.30   Discussion

Wednesday Thursday Friday

Thursday 10th September 1998

09.00--10.40    Session V:      Concurrency          (Tony Davie)

        09.00   Claus Assmann
                "Preliminary Performance Results for the Coordination Language K2"

        09.20   Eleni Spiliopoulou
                "Concurrent Monadic Interfacing"

        09.40   Yolanda Ortega-Mallen
                "Implementing Eden, or Dreams become Reality"

        10.00   Pascal R. Serrarens
                "Explicit Message Passing for Concurrent Clean"

        10.20   Discussion

10.40--11.10    Coffee

11.10--13.00    Session VI:     Functional Programming and Java  (Colin Runciman)

        11.10   Ananda M.S. Amatya
                "Threading Ginger -- Version 0.1"

        11.30   Claus Reinke
                "Scripting the Java Platform? Towards a Haskell/Java Connection"

        11.50   David Walsh-Kemmis
                "Juaskell: Implementing Evaluation Strategies in Java"

        12.10   Discussion

        12.30   Demonstration

13.00--14.00    Lunch 

14.00--15.40    Session VII:    Logic and Proof                (John Glauert)

        14.00   Herbert Kuchen
                "The Functional Logic Language Curry"

        14.20   Wolfgang Lux
                "An abstract machine for Curry with encapsulated search"

        14.40   Maarten de Mol
                "A proof tool for Clean "

        15.00   Discussion

        15.20   Discussion: IFL'99, IFL'00 and IFL'01

16.00--18.30    Social Event: Visit to the London Zoo and Regents Park

18.30--19.30    Drinks Reception: the Reptile House

19.30--22.30    Workshop Banquet

Wednesday Thursday Friday

---

Friday 11th September 1998

09.00--10.40    Session VIII:   Compilation and Implementation II (Pieter Koopman)

        09.00   Christoph Armin Herrmann
                "Size inference of nested lists in functional programs"

        09.20   Dirk Pape
                "Higher Order Demand Propagation"

        09.40   Nadia Nedjah
                "Adaptive Traversal Orders in Pattern-Matching"

        10.00   Laszlo Nemeth
                "A Design for Warm Fusion"

        10.20   Discussion

10.40--11.10    Coffee

11.10--13.00    Session IX:     Compilation and Implementation III         (Rita Loogen)

        11.10   Manuel M. T. Chakravarty
                "A Mobile Functional Object Code"

        11.30   Sven-Bodo Scholz
                "A Case Study: Effects of With-Loop-Folding on the NAS Mgrid Benchmark in Sac"

        11.50   Alastair Reid
                "Putting the Spine back in the Spineless Tagless G-Machine: an Implementation of Revertible Black Holes"

        12.10   TBA

        12.30   Discussion

13.00--14.00    Lunch 

14.00--15.40    Session X:      Profiling I             (Rinus Plasmeijer)

        14.00   Stephen Jarvis
                "Standardising Compiler/Profiler Log Files"

        14.20   David King
                "A Strategic Profiler for Glasgow Parallel Haskell"

        14.40   Nathan Charles
                "An Interactive Approach to Profiling Parallel Functional Programs"

        15.00   Graeme Moss
                "Exploring Datatype Usage Space"

        15.20   Discussion

15.40--16.10    Tea


16.10--17.10    Session XI:     Programming II                        (TBA)

        16.10   Chris Clack
                "Simulating an Object-Oriented Financial System in a Functional Language"

        16.30   Dino Oliva
                "TBA"

        16.50   TBA

17.10           Close

Wednesday Thursday Friday