ICFP 2008 Final Program Monday, Sep 22, 2008 Tuesday, Sep 23, 2008 Wednesday, Sep 24, 2008 Invited Talk (Chair: Peter Thiemann) Invited Talk (Chair: James Hook) Invited Talk (Chair: Mitchell Wand) 9:00 Lazy and Speculative Execution in Computer Systems 9:00 Defunctionalized Interpreters for Higher-Order Lan- 9:00 Polymorphism and Page Tables|Systems Program- Butler Lampson; Microsoft Research guages ming From a Functional Programmer's Perspective 10:00 Break Olivier Danvy; University of Aarhus Mark Jones; Portland State University Session 1 (Chair: Martin Sulzmann) 10:00 Break 10:00 Break 10:30 Flux: FunctionaL Updates for XML Session 6 (Chair: Andrew Tolmach) Session 11 (Chair: Fritz Henglein) James Cheney; University of Edinburgh 10:30 Parametric Higher-Order Abstract Syntax for Mecha- 10:30 Pattern Minimization Problems over Recursive Data 10:55 Typed Iterators for XML nized Semantics Types 1 2 Giuseppe Castagna , Kim Nguyen ; 1PPS (CNRS) - Universit´e Adam Chlipala; Harvard University Alexander Krauss; TU M¨unchen Paris 7 - Paris, France, 2LRI - Universit´eParis-Sud 11 - Orsay, France 10:55 Typed Closure Conversion Preserves Observational 10:55 Deciding kCFA is complete for EXPTIME 11:20 Break Equivalence David Van Horn, Harry Mairson; Brandeis University Toyota Technological Institute at Session 2 (Chair: Matthew Fluet) Amal Ahmed, Matthias Blume; 11:20 Break 11:50 Aura: A Programming Language for Authorization Chicago Session 12 (Chair: Derek Dreyer) and Audit 11:20 Break 11:50 HMF: Simple Type Inference for First-Class Polymor- Limin Jia, Jeffrey Vaughan, Karl Mazurak, Jianzhou Zhao, Session 7 (Chair: Manuel Chakravarty) phism Microsoft Research Luke Zarko, Joseph Schorr, Steve Zdancewic; U Pennsylvania 11:50 Write it Recursively: A Generic Framework for Opti- Daan Leijen; 12:15 The Power of Pi mal Path Queries 12:15 FPH: First-class Polymorphism for Haskell 1 1 Nicolas Oury, Wouter Swierstra; University of Nottingham Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi; Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton 2 12:40 Lunch break University of Tokyo Jones ; 1University of Pennsylvania, 2Microsoft Research 12:15 Efficient Nondestructive Equality Checking for Trees 12:40 Lunch break Session 3 (Chair: Ralf Hinze) and Graphs 14:00 Type Checking with Open Type Functions Session 13 (Chair: Chung-chieh Shan) Michael D. Adams, R. Kent Dybvig; Indiana University 14:00 Mixin' Up the ML Module System Tom Schrijvers1, Simon Peyton Jones2, Manuel 3 4 12:40 Lunch break Derek Dreyer, Andreas Rossberg; MPI-SWS Chakravarty , Martin Sulzmann ; 1K.U.Leuven, 2Microsoft Session 8 (Chair: Zhenjiang Hu) 14:25 Compiling Self-Adjusting Programs with Continua- Research Cambridge, 3UNSW, Sydney, 4ITU, Denmark 14:00 Functional Pearl: Streams and Unique Fixed Points tions 14:25 Graphic Type Constraints and Efficient Type Infer- Ralf Hinze; University of Oxford 1 2 2 1 ence: from ML to MLF Ruy Ley-Wild , Matthew Fluet , Umut Acar ; Carnegie Mel- 14:25 Data-Flow Testing of Declarative Programs lon University, 2Toyota Technological Institute at Chicago Boris Yakobowski, Didier Remy; INRIA 1 2 Sebastian Fischer , Herbert Kuchen ; 1U Kiel, 2U M¨unster 14:50 Break 14:50 Break 14:50 Break Session 14 (Chair: Henrik Nilsson) Session 4 (Chair: Tim Sheard) Session 9 (Chair: Andrew Kennedy) 15:20 Flask: Staged Functional Programming for Sensor 15:20 A Type-Preserving Compiler in Haskell 15:20 Functional Translation of a Calculus of Capabilities Networks Louis-Julien Guillemette, Stefan Monnier; U Montr´eal Arthur Chargu´eraud, Fran¸coisPottier; INRIA Geoffrey Mainland, Greg Morrisett, Matt Welsh; Harvard 15:45 Experience Report: Playing the DSL Card, A Domain 15:45 Experience Report: Paradise: A Two-Stage DSL Em- Specific Language for Component Configuration University bedded in Haskell 15:45 Experience Report: A Pure Shirt Fits Reflections on Mark Jones; Portland State University Lennart Augustsson, Howard Mansell, Ganesh Sittam- Haskell at Bluespec 16:05 Generic Discrimination|Sorting and Partitioning Un- palam; Credit Suisse Ravi Nanavati; Bluespec, Inc. shared Data in Linear Time 16:05 Ynot: Reasoning with the Awkward Squad 16:05 Functional Netlists Fritz Henglein; DIKU, University of Copenhagen 1 2 2 Aleksandar Nanevski , Greg Morrisett , Avi Shinnar , Paul Sungwoo Park, Jinha Kim, Hyeonseung Im; Pohang University 16:30 Break 2 3 Govereau , Lars Birkedal ; 1Microsoft Research, Cambridge, of Science and Technology Session 5 (Chair: Norman Ramsey) 2Harvard University, 3IT University, Copenhagen 16:30 Break 17:00 Transactional Events for ML 16:30 Break Session 15 (Chair: Kathleen Fisher) Laura Effinger-Dean, Matthew Kehrt, Dan Grossman; Uni- Session 10 (Chair: Michael Sperber) 17:00 NixOS: A Purely Functional Linux Distribution versity of Washington 1 2 17:00 A Scheduling Framework for General-Purpose Parallel Eelco Dolstra , Andres L¨oh ; 1Delft University of Technology, 17:25 Experience Report: Erlang in Acoustic Ray Tracing 2 1 1 Languages Utrecht University Christian Convey , Andrew Fredricks , Christopher 1 2 2 1 1 1 2 Matthew Fluet , Michael Rainey , John Reppy ; Toyota 17:25 Experience Report: Visualizing Data through Func- Gagner , Douglas Maxwell , Lutz Hamel ; 1Naval Undersea Technological Institute at Chicago, 2University of Chicago tional Pipelines 2 Warfare Centers, RI, USA, Dept. of Computer Science and Statistics, 17:25 Space Profiling for Parallel Functional Programs David Duke1, Rita Borgo1, Colin Runciman2, Malcolm U Rhode Island 1 1 1 2 Daniel Spoonhower , Guy E. Blelloch , Robert Harper , Wallace ; 1University of Leeds, UK, 2University of York, UK 17:45 Implicitly-threaded parallelism in Manticore 2 Phillip B. Gibbons ; 1Carnegie Mellon University, 2Intel Reseach 17:45 Quotient Lenses Matthew Fluet1, Mike Rainey2, John Reppy2, Adam Shaw2; Pittsburgh 1 2 1 2 J. Nathan Foster , Alexandre Pilkiewicz , Benjamin C. Toyota Technological Institute at Chicago, University of Chicago 1 17:50 Short Break Pierce ; 1University of Pennsylvania, 2Ecole Polytechnique 18:10 PC chair's report Awards and Announcements (Chair: Kevin Millikin) 18:10 Closing 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 2 Gheorghiu ; 1Portland State University, 2University of Chicago 19:00 Reception.