Workshop Programme IFL International Workshop on Implementation and Application

Document Sample
Workshop Programme IFL International Workshop on Implementation and Application Powered By Docstoc
					     Workshop Programme

          IFL 2004

  16th International Workshop
Implementation and Application
    of Functional Languages

      September 8–10, 2004

       L¨beck, Germany
                 Wednesday, September 8th, 2004

 8:30 – 9:00      Registration
 9:00 – 9:15      Welcome
 9:15 – 10:30     Session 1
    Abstract Machines
    Chair: Frank Huch
      • Olivier Danvy
        A Rational Deconstruction of Landin’s SECD Machine
      • Michael Hanus, Sergio Antoy, Jimeng Liu, Andrew Tolmach
        A Virtual Machine for Functional Logic Computations
      • Baltasar Tranc´n y Widemann
        A Virtual Machine for Strict Evaluation of (Co)Recursive Functions

10:30 – 11:00     Coffee Break
11:00 – 12:40     Session 2
    Parallel Programming I
    Chair: John O’Donnell
      • Jost Berthold, Rita Loogen
        Analysing Dynamic Channels for Topology Skeletons in Eden
      • Steffen Priebe
        A Framework for Enhancing Eden Code with Template Haskell
      • Abdallah Al Zain, Phil Trinder, Hans-Wolfgang Loidl, Greg Michaelson
        Grid-GUM: Towards Grid-Enabled Haskell
      • Andr´ Rauber du Bois, Phil Trinder, Hans-Wolfgang Loidl
        mHaskell: Mobile Computation in a Purely Functional Language

12:40 – 14:10     Lunch Break: Restaurant Paulaners

                 Wednesday, September 8th, 2004

14:10 – 15:50     Session 3
    Compilation Techniques I
    Chair: Sven-Bodo Scholz
      • Ronny Wichers Schreur, Rinus Plameijer
        Dynamic Construction of Generic Functions
      • John van Groningen
        Faster Garbage Collection Using Prefetching
      • Kai Trojahner, Clemens Grelck
        Implicit Memory Management for SAC
      • Marco T. Morazan, Barbara Mucha
        Lambda Lifting MT-Scheme Programs for Dynamic Code Generation

15:50 – 16:20     Coffee Break
16:20 – 18:00     Session 4
    Language Concepts
    Chair: Rinus Plasmeijer
      • Alex Shafarenko
        General Homomorphic Overloading
      • Stephan Herhut, Sven-Bodo Scholz
        Towards Fully Controlled Overloading Across Module Boundaries
      • Antoine Spicher, Olivier Michel
        Integration and Pattern-matching of Topological Structures in a Functional Lan-
      • Julio Mari˜o, Jos´ Maria Rey
        Adding Constraints to Curry via Flat Guards

18:15 – 20:00     Guided City Tour

                     Thursday, September 9th, 2004

 8:30 – 10:00        Session 5
    Formal Aspects
    Chair: Yolanda Ortega-Mall´n
      • Marko van Eekelen, Maarten de Mol
        Proving “Folklore” Knowledge of Strictness Hackers
      • Andrew Butterfield
        Reasoning about I/O and Exceptions
      • Andrew Butterfield, Malcolm Dowse, Marko van Eekelen, Maarten de Mol, Rinus
        Towards Machine Verified Proofs for I/O
      • Malcolm Dowse, Andrew Butterfield
        A Language for Reasoning about Concurrent Functional I/O

10:00 – 10:30        Coffee Break
10:30 – 11:50        Session 6
    Debugging and Tracing
    Chair: Kevin Hammond
      • Bernd Braßel
        TypeHope – There is Hope for your Type Errors
      • Sebastian Fischer, Bernd Braßel
        Correcting Type Errors in Declarative Programs
      • Holger Gast
        Explaining ML Type Errors by Data Flows
      • Olaf Chitil
        Source-Based Trace Exploration

11:50 – 12:30        Panel Discussion: The Future of IFL
12:30 – 14:00        Lunch Break: Restaurant Media Docks

                   Thursday, September 9th, 2004

14:00 – 23:30     Social Event
    Excursion to Travem¨nde and Banquet Dinner
      • Boat trip from Media Docks downstream the river Trave towards Travem¨nde.

      • Guided tour of the historic sailing ship “Passat”.

      • Some leasure time in Travem¨nde. Enjoy the promenade along the white beach.

      • Workshop Banquet in Restaurant “Top of the Clouds”, Hotel Maritim.

      • Return to L¨beck by bus.

                    Friday, September 10th, 2004

 8:30 – 10:10     Session 7
    Heap Management
    Chair: Hans-Wolfgang Loidl
      • Kevin Hammond
        A Formally-Based Cost Model for Dynamic Heap and Stack Bounds in a First-
        Order Functional Language
      • Pedro Vasconcelos
        Over the Top: Calculating Sizes for Recursive Hume Programs
      • Ricardo Pe˜a, Clara Segura
        A First-Order Functional Language for Reasoning about Heap Consumption
      • Steffen Jost
        lfd infer: an Implementation of a Static Inference on Heap Space Usage

10:10 – 10:40     Coffee Break
10:40 – 12:40     Session 8
    Tools and Applications
    Chair: Andrew Butterfield
      • Claus Reinke
        Tool Support for Haskell-Coloured Petri Nets
      • Sander Evers, Peter Achten, Jan Kuper
        A Functional Programming Technique for Forms in Graphical User Interfaces
      • Manfred Widera
        Flow Graph Interpretation for Source Code Directed Testing of Functional Pro-
      • Glenn Strong
        Stackless Tree Traversals in a Purely Functional Language
      • John O’Donnell
        Incorporating Structural Descriptions in Behavioural Circuit Specifications

                    Friday, September 10th, 2004

12:40 – 14:10     Lunch Break: Restaurant Schiffergesellschaft
14:10 – 15:50     Session 9
    Parallel Programming II
    Chair: Clemens Grelck
      • Zheng Li, Roberto Di Cosmo, Susanna Pelagatti
        MAP: A Formal Calculus on Data-parallel Applications over n-dimensional Dense
          e e
      • Fr´d´ric Gava, Fr´d´ric Loulergue, David Billiet
                         e e
        A Modular Implementation of Bulk Synchronous Parallel ML
      • Alfredo Crist´bal-Salas, Andrey Chernykh, Edelmira Rodr´
                                                               ıguez-Alcantar, Jean-Luc
        Exploiting Single-assignment Properties to Optimize Message-passing Programs
        by Code Transformations
      • Leonid Timochouk, Steve Linton, Kevin Hammond
        A Purely Functional Parallel Knuth-Bendix Completion Algorithm for Compu-
        tational Group Theory

15:50 – 16:20     Coffee Break
16:20 – 18:00     Session 10
    Compilation Techniques II
    Chair: Marko van Eekelen
      • Peter Achten
        Interactively Probing Quiescent Properties of Object I/O Applications — A
        Feasibility Study
      • Eric Knauel
        Compiling Emacs Lisp to Scheme
      • Kate Krastev, Anthony M. Sloane
        Low-cost Compression of Functional Programs
      • Sam Lindley, Nick Benton, Andrew Kennedy, Claudio Russo
        Shrinking Reductions in SML.NET

                           List of Participants
Achten, Peter              Radboud Universiteit Nijmegen            Netherlands
Al Zain, Abdallah          Heriot-Watt University, Edinburgh        Scotland
Albrecht, Carsten                   a       u
                           Universit¨t zu L¨beck                    Germany
Baumgarten, Jan-Henrik              a       u
                           Universit¨t zu L¨beck                    Germany
Berthold, Jost                                a
                           Philipps-Universit¨t Marburg             Germany
Biernacki, Dariusz         BRICS, Aarhus Universitet                Denmark
Braßel, Bernd                                           a
                           Christian-Albrechts-Universit¨t Kiel     Germany
Butterfield, Andrew         Trinity College Dublin                   Ireland
Chitil, Olaf               University of Kent                       England
Christiansen, Jan                                       a
                           Christian-Albrechts-Universit¨t Kiel     Germany
Crist´bal-Salas, Alfredo   Universidad de Baja California           Mexico
Danvy, Olivier             BRICS, Aarhus Universitet                Denmark
Dawson, Jeremy             National ICT Australia Limited           Australia
Dowse, Malcolm             Trinity College Dublin                   Ireland
Evers, Sander              Radboud Universiteit Nijmegen            Netherlands
Fischer, Sebastian                                      a
                           Christian-Albrechts-Universit¨t Kiel     Germany
Gast, Holger                                        a u
                           Eberhard-Karls-Universit¨t T¨bingen      Germany
         e e
Gava, Fr´d´ric                      e
                           Universit´ de Paris XII                  France
Grelck, Clemens                     a       u
                           Universit¨t zu L¨beck                    Germany
Hammond, Kevin             University of St Andrews                 Scotland
Hansen, James              University of Hertfordshire              England
Hanus, Michael                                          a
                           Christian-Albrechts-Universit¨t Kiel     Germany
Herhut, Stephan            University of Hertfordshire              England
Hinckfuß, Karsten                   a       u
                           Universit¨t zu L¨beck                    Germany
Huch, Frank                                             a
                           Christian-Albrechts-Universit¨t Kiel     Germany
Jost, Steffen                                             a    u
                           Ludwig-Maximilians-Universit¨t M¨nchen   Germany
Knauel, Eric                                        a u
                           Eberhard-Karls-Universit¨t T¨bingen      Germany
Krastev, Kate              Macquarie University, Sydney             Australia
Kuthe, Steffen                       a       u
                           Universit¨t zu L¨beck                    Germany
Li, Zheng                           e
                           Universit´ Paris VII                     France
Lindley, Sam               University of Edinburgh                  Scotland
Loidl, Hans-Wolfgang                                     a    u
                           Ludwig-Maximilians-Universit¨t M¨nchen   Germany
Loogen, Rita                                  a
                           Philipps-Universit¨t Marburg             Germany
Mari˜o, Julio              Universidad Politecnica de Madrid        Spain
Mart´ınez Torres, Rafael   Universidad Complutense de Madrid        Spain

                         List of Participants
Midtgaard, Jan                  BRICS, Aarhus Universitet            Denmark
Might, Matthew                  Georgia Institute of Technology      USA
Morazan, Marco T.               Seton Hall University                USA
O’Donnell, John                 University of Glasgow                Scotland
Ortega-Mall´n, Yolanda          Universidad Complutense de Madrid    Spain
Pe˜a, Ricardo                   Universidad Complutense de Madrid    Spain
Plasmeijer, Rinus               Radboud Universiteit Nijmegen        Netherlands
Priebe, Steffen                                     a
                                Philipps-Universit¨t Marburg         Germany
Rauber Du Bois, Andr´ e         Heriot-Watt University, Edinburgh    Scotland
Reinke, Claus                   Canterbury                           England
Rodr´ıguez-Alcantar, Edelmira   Universidad de Sonora                Mexico
Scholz, Sven-Bodo               University of Hertfordshire          England
Shafarenko, Alex                University of Hertfordshire          England
Spicher, Antoine                                e
                                LaMI, Universit´ d’Evry              France
Strong, Glenn                   Trinity College Dublin               Ireland
Timochouk, Leonid               University of St Andrews             Scotland
Tranc´n y Widemann, Baltasar                         a
                                Technische Universit¨t Berlin        Germany
Trojahner, Kai                           a       u
                                Universit¨t zu L¨beck                Germany
van Eekelen, Marko              Radboud Universiteit Nijmegen        Netherlands
van Groningen, John             Radboud Universiteit Nijmegen        Netherlands
Vasconcelos, Pedro              University of St Andrews             Scotland
Wichers Schreur, Ronny          Radboud Universiteit Nijmegen        Netherlands
Widera, Manfred                               a
                                Fern-Universit¨t Hagen               Germany
  o        o
Zs´k, Vikt´ria                   o o       a
                                E¨tv¨s Lor´nd University, Budapest   Hungary

Sponsored by
  • Christian-Albrechts-Universit¨t zu Kiel
    Institut f¨r Informatik und Praktische Mathematik
              a      u
  • Universit¨t zu L¨beck
    Institut f¨r Softwaretechnik und Programmiersprachen
  • Deutsche Forschungsgemeinschaft (DFG)
  • Innovationszentrum L¨beck (IZL)