ICFP 2008 Final Program

Monday, Sep 22, 2008
Invited Talk (Chair: Peter Thiemann)
9:00 Lazy and Speculative Execution in Computer Systems
Butler Lampson; Microsoft Research
10:00 BreakSession 1 (Chair: Martin Sulzmann)
10:30 Flux: FunctionaL Updates for XML
James Cheney; University of Edinburgh
10:55 Typed Iterators for XML
Giuseppe Castagna1 , Kim Nguyen2 ; 1 PPS (CNRS) - Université
Paris 7 - Paris, France, 2 LRI - Université Paris-Sud 11 - Orsay, France

11:20 BreakSession 2 (Chair: Matthew Fluet)
11:50 Aura: A Programming Language for Authorizationand Audit
Limin Jia, Jeffrey Vaughan, Karl Mazurak, Jianzhou Zhao,
Luke Zarko, Joseph Schorr, Steve Zdancewic; U Pennsylvania
12:15 The Power of Pi
Nicolas Oury, Wouter Swierstra; University of Nottingham
12:40 Lunch break
Session 3 (Chair: Ralf Hinze)
14:00 Type Checking with Open Type Functions
Tom Schrijvers1 ,Simon Peyton Jones2 ,ManuelChakravarty3 , Martin Sulzmann4 ; 1 K.U.Leuven, 2 Microsoft
Research Cambridge, 3 UNSW, Sydney, 4 ITU, Denmark

14:25 Graphic Type Constraints and Efficient Type Inference: from ML to MLF
Boris Yakobowski, Didier Remy; INRIA
14:50 BreakSession 4 (Chair: Tim Sheard)
15:20 A Type-Preserving Compiler in Haskell
Louis-Julien Guillemette, Stefan Monnier ; U Montréal
15:45 Experience Report: Playing the DSL Card, A Domain
Specific Language for Component Configuration
Mark Jones; Portland State University
16:05 Generic Discrimination—Sorting and Partitioning Unshared Data in Linear Time
Fritz Henglein; DIKU, University of Copenhagen
16:30 BreakSession 5 (Chair: Norman Ramsey)
17:00 Transactional Events for ML
Laura Effinger-Dean, Matthew Kehrt, Dan Grossman; University of Washington

17:25 Experience Report: Erlang in Acoustic Ray TracingChristian Convey1 , Andrew Fredricks1 , Christopher
Gagner1 , Douglas Maxwell1 , Lutz Hamel2 ; 1 Naval Undersea
Warfare Centers, RI, USA, 2 Dept. of Computer Science and Statistics,
U Rhode Island

17:45 Implicitly-threaded parallelism in Manticore
Matthew Fluet1 , Mike Rainey2 , John Reppy2 , Adam Shaw2 ;1 Toyota Technological Institute at Chicago, 2 University of Chicago

18:10 PC chair’s report

Tuesday, Sep 23, 2008
Invited Talk (Chair: James Hook)
9:00 Defunctionalized Interpreters for Higher-Order Languages
Olivier Danvy; University of Aarhus
10:00 BreakSession 6 (Chair: Andrew Tolmach)
10:30 Parametric Higher-Order Abstract Syntax for Mechanized Semantics
Adam Chlipala; Harvard University
10:55 Typed Closure Conversion Preserves Observational
Equivalence
Amal Ahmed, Matthias Blume; Toyota Technological Institute atChicago

11:20 BreakSession 7 (Chair: Manuel Chakravarty)
11:50 Write it Recursively: A Generic Framework for Optimal Path Queries
Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi;
University of Tokyo

12:15 Efficient Nondestructive Equality Checking for Treesand Graphs
Michael D. Adams, R. Kent Dybvig; Indiana University
12:40 Lunch break
Session 8 (Chair: Zhenjiang Hu)
14:00 Functional Pearl: Streams and Unique Fixed Points
Ralf Hinze; University of Oxford
14:25 Data-Flow Testing of Declarative Programs
Sebastian Fischer1 , Herbert Kuchen2 ; 1 U Kiel, 2 U Münster
14:50 BreakSession 9 (Chair: Andrew Kennedy)
15:20 Functional Translation of a Calculus of Capabilities
Arthur Charguéraud, François Pottier ; INRIA
15:45 Experience Report: Paradise: A Two-Stage DSL Embedded in Haskell
Lennart Augustsson, Howard Mansell, Ganesh Sittampalam; Credit Suisse
16:05 Ynot: Reasoning with the Awkward SquadAleksandar Nanevski1 , Greg Morrisett2 , Avi Shinnar2 , Paul
Govereau2 , Lars Birkedal3 ; 1 Microsoft Research, Cambridge,2 Harvard University, 3 IT University, Copenhagen

16:30 BreakSession 10 (Chair: Michael Sperber)
17:00 A Scheduling Framework for General-Purpose Parallel
Languages
Matthew Fluet1 , Michael Rainey2 , John Reppy2 ; 1 Toyota
Technological Institute at Chicago, 2 University of Chicago

17:25 Space Profiling for Parallel Functional Programs
Daniel Spoonhower1 , Guy E. Blelloch1 , Robert Harper1 ,Phillip B. Gibbons2 ; 1 Carnegie Mellon University, 2 Intel Reseach
Pittsburgh

17:50 Short BreakAwards and Announcements (Chair: Kevin Millikin)
18:00 ICFP 2009 Announcement (Phil Wadler)
18:10 Most Influential ICFP’98 Paper Award (Kathleen Fisher)
18:20 Report on the Eleventh ICFP Programming Contest
Tim Sheard1 , Tim Chevalier1 , Chuan-kai Lin1 , Garrett
Morris1 , Emerson Murphy-Hill1 , Andy Gill1 , John Reppy2 ,Lars Bergstrom2 , Mike Rainey2 , Adam Shaw2 , Virgil
Gheorghiu2 ; 1 Portland State University, 2 University of Chicago
19:00 Reception

Wednesday, Sep 24, 2008
Invited Talk (Chair: Mitchell Wand)
9:00 Polymorphism and Page Tables—Systems Programming From a Functional Programmer’s Perspective
Mark Jones; Portland State University
10:00 BreakSession 11 (Chair: Fritz Henglein)
10:30 Pattern Minimization Problems over Recursive Data
Types
Alexander Krauss; TU München
10:55 Deciding kCFA is complete for EXPTIMEDavid Van Horn, Harry Mairson; Brandeis University
11:20 BreakSession 12 (Chair: Derek Dreyer)
11:50 HMF: Simple Type Inference for First-Class Polymorphism
Daan Leijen; Microsoft Research
12:15 FPH: First-class Polymorphism for Haskell
Dimitrios Vytiniotis1 , Stephanie Weirich1 , Simon Peyton
Jones2 ; 1 University of Pennsylvania, 2 Microsoft Research
12:40 Lunch break
Session 13 (Chair: Chung-chieh Shan)
14:00 Mixin’ Up the ML Module System
Derek Dreyer, Andreas Rossberg; MPI-SWS
14:25 Compiling Self-Adjusting Programs with Continuations
Ruy Ley-Wild1 , Matthew Fluet2 , Umut Acar2 ; 1 Carnegie Mellon University, 2 Toyota Technological Institute at Chicago

14:50 BreakSession 14 (Chair: Henrik Nilsson)
15:20 Flask: Staged Functional Programming for Sensor
Networks
Geoffrey Mainland, Greg Morrisett, Matt Welsh; HarvardUniversity

15:45 Experience Report: A Pure Shirt Fits Reflections onHaskell at Bluespec
Ravi Nanavati; Bluespec, Inc.
16:05 Functional Netlists
Sungwoo Park, Jinha Kim, Hyeonseung Im; Pohang Universityof Science and Technology

16:30 BreakSession 15 (Chair: Kathleen Fisher)
17:00 NixOS: A Purely Functional Linux Distribution
Eelco Dolstra1 , Andres Löh2 ; 1 Delft University of Technology,
2 Utrecht University

17:25 Experience Report: Visualizing Data through Functional Pipelines
David Duke1 , Rita Borgo1 , Colin Runciman2 , Malcolm
Wallace2 ; 1 University of Leeds, UK, 2 University of York, UK
17:45 Quotient Lenses
J. Nathan Foster1 , Alexandre Pilkiewicz2 , Benjamin C.
Pierce1 ; 1 University of Pennsylvania, 2 Ecole Polytechnique
18:10 Closing