The 12th ACM SIGPLAN International Conference on Functional Programming
(ICFP 2007)

Freiburg, Germany
October 1-3, 2007

Preliminary Program

Sunday, September 30

18:30--

Conference reception

Monday, October 1

9:00-10:00

Invited talk: John Hughes (Chalmers University of Technology)

10:00-10:25

Break

10:25-11:15

Ott: Effective Tool Support for the Working Semanticist
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa

Programming Finger Trees in Coq
Matthieu Sozeau

11:15-11:40

Break

11:40-12:30

Experience Report: Functional Programming in C-Rules
Jeremy Wazny

Extensible Pattern Matching via a Lightweight Language Extension
Don Syme, Gregory Neverov, James Margetson

12:30-14:00

Lunch

14:00-15:15

On Barron and Strachey's Cartesian Product Function
Olivier Danvy, Michael Spivey

Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi

Tangible Functional Programming
Conal Elliott

15:15-15:40

Break

15:40-16:30

Termination Analysis and Call Graph Construction for Higher-Order Functional Programs
Damien Sereni

Relating Complexity and Precision in Control Flow Analysis
David Van Horn, Harry Mairson

16:30-16:55

Break

16:55-17:45

Inductive Reasoning about Effectful Data Types
Andrzej Filinski, Kristian Stoevring

A type directed translation of MLF to System-F
Daan Leijen

17:45-18:10

PC chair's report

19:00--

Program committee meeting

Tuesday, October 2

9:00-10:00

Invited talk: Frank Pfenning (Carnegie Mellon University)

10:00-10:25

Break

10:25-11:15

McErlang: A Model Checker for a Distributed Functional Programming Language
Lars-Åke Fredlund, Hans Svensson

Experience Report: The Reactis Validation Tool
Steve Sims, Daniel C. DuVarney

11:15-11:40

Break

11:40-12:30

iTasks: Executable Specifications of Interactive Work Flow Systems for the Web
Rinus Plasmeijer, Peter Achten, Pieter Koopman

Experience Report: Scheme in Commercial Web Application Development
Noel Welsh, David Gurnell

12:30-14:00

Lunch

14:00-15:15

Functional Pearl: The Great Escape
David Herman

Adding Delimited and Composable Control to a Production Programming Environment
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen

Compiling with Continuations, Continued
Andrew J. Kennedy

15:15-15:40

Break

15:40-16:30

Type-safe Higher-order Channels in ML-like Languages
Sungwoo Park

Evaluating High-Level Distributed Language Constructs
Jan Nystrom, Phil Trinder, David King

16:30-16:55

Break

16:55-17:20

Experience Report: Using Functional Programming to Manage a Linux Distribution
Clifford Beshers, David Fox, Jeremy Shaw

17:20-18:10

Contest chair's report

19:30--

Conference dinner
Most Influential ICFP Paper Awards (ICFP'96 and ICFP'97)

Wednesday, October 3

9:00-10:00

Invited talk: John Lloyd (Australian National University)

10:00-10:25

Break

10:25-11:15

Experience Report: Building an Eclipse-based IDE for Haskell
Leif Frenzel

User-Friendly Functional Programming for Web Mashups
Rob Ennals, David Gay

11:15-11:40

Break

11:40-12:30

A Generic Usage Analysis with Subeffect Qualifiers
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop

Experience Report: A Haskell interpreter for CellML
Jonathan Cooper, Steve McKeever

12:30-14:00

Lunch

14:00-15:15

Feedback Directed Implicit Parallelism
Tim Harris, Satnam Singh

Lazy Call-By-Value Evaluation
Frank Huch, Bernd Brassel, Sebastian Fischer, Michael Hanus, German Vidal

Faster laziness using dynamic pointer tagging
Simon Marlow, Alexey Rodriguez, Simon Peyton Jones

15:15-15:40

Break

15:40-16:30

A Type System for Recursive Modules
Derek Dreyer

The Portable R6RS Syntax System
Abdulaziz Ghuloum, R. Kent Dybvig

16:30-16:55

Break

16:55-17:45

Stream Fusion: From Lists to Streams to Nothing at All
Duncan Coutts, Roman Leshchinskiy, Don Stewart

Call-pattern Specialization for Haskell Programs
Simon Peyton Jones