Conference program

The complete program for ICFP and affiliated events is also available as a PDF document.

The complete proceedings of ICFP 2014 and co-located events are available from the ACM Digital Library for free for one year. A zipped collection of the complete proceedings is also available to download.

Monday, 1 September

8:45-9:00 Opening (General Chair)
9:00-10:00 Keynote (Chair: Manuel Chakravarty)
Using Formal Methods to Enable More Secure Vehicles: DARPA's HACMS Program
Kathleen Fisher (Tufts University)
10:00-10:30 Coffee
10:30-11:20 Session 1: Domain Specific Languages I (Chair: Anil Madhavapedd)
Building Embedded Systems with Embedded DSLs (Experience Report) (video)
Patrick Hickey (Galois Inc); Lee Pike (Galois Inc); Trevor Elliott (Galois Inc); James Bielman (Galois Inc); John Launchbury (Galois Inc)
Concurrent NetCore: From Policies to Pipelines (video)
Cole Schlesinger (Princeton University); Michael Greenberg (Princeton University); David Walker (Princeton University)
11:20-11:40 Break
11:40-12:30 Session 2: Static Analysis (Chair: Ken Friis Larse)
SeLINQ: Tracking Information Across Application-Database Boundaries (video)
Daniel Schoepe (Chalmers University of Technology); Daniel Hedin (Chalmers University of Technology); Andrei Sabelfeld (Chalmers University of Technology)
Type-Based Parametric Analysis of Program Families (video)
Sheng Chen (Oregon State University); Martin Erwig (Oregon State University)
12:30-14:00 Lunch
14:00-14:50 Session 3: Binding Structure (Chair: Tarmo Uustal)
Romeo: A System for More Flexible Binding-Safe Programming (video)
Paul Stansifer (Northeastern University);Mitchell Wand (Northeastern University)
Maximal Sharing in the Lambda Calculus with letrec (video)
Clemens Grabmayer (VU University Amsterdam); Jan Rochel (Universiteit Utrecht)
14:50-15:10 Break
15:10-16:00 Session 4: Program Optimisation (Chair: John Launchbury)
Practical and Effective Higher-Order Optimizations (video)
Lars Bergstrom (Mozilla Research); Matthew Fluet (Rochester Institute of Technology); John Reppy University of Chicago); Nora Sandler (University of Chicago); Matthew Le (Rochester Institute of Technology)
Worker/Wrapper/Makes It/Faster (video)
Jennifer Hackett (University of Nottingham); Graham Hutton (University of Nottingham)
16:00-16:30 Tea
16:30-17:20 Session 5: Context Dependence (Chair: Yukiyoshi Kameyama)
Compositional Semantics for Composable Continuations: From Abortive to Delimited Control (video)
Paul Downen (University of Oregon); Zena M. Ariola (University of Oregon)
Coeffects: A Calculus of Context-Dependent Computation (video)
Tomas Petricek (University of Cambridge); Dominic Orchard (University of Cambridge); Alan Mycroft (University of Cambridge)
17:20-17:45 Program Chair's Report (video)
17:45-19:30 Welcome reception
Immediately after the scientic program on Monday, the City of Gothenburg will host a welcome reception in the H lounge, just outside the ICFP lecture room.

Tuesday, 2 September

9:00-10:00 Keynote (Chair: Jesse Tov)
Behavioral Software Contracts (video)
Robert Bruce Findler (Northwestern University)
10:00-10:30 Coffee
10:30-11:20 Session 6: Contracts & Scheme (Chair: Michael Sperber)
Soft Contract Verification (video)
Phuc C. Nguyen (University of Maryland); Sam Tobin-Hochstadt (Indiana University); David Van Horn (University of Maryland)
On Teaching How to Design Programs: Observations from a Newcomer (video)
Norman Ramsey (Tufts University)
11:20-11:40 Break
11:40-12:30 Session 7: Tools Used in Anger (Chair: Jacques Garrigue)
SML# in Industry: A Practical ERP System Development (Experience Report) (video)
Atsushi Ohori (Tohoku University); Katsuhiro Ueno (Tohoku University); Kazunori Hoshi (NEC Software Tohoku, Ltd.); Shinji Nozaki (NEC Software Tohoku, Ltd.); Takashi Sato (NEC Software Tohoku, Ltd.); Tasuku Makabe (NEC Software Tohoku, Ltd.); Yuki Ito (NEC Software Tohoku, Ltd.)
Lem: Reusable Engineering of Real-World Semantics (video)
Dominic P. Mulligan (University of Cambridge); Scott Owens (University of Kent); Kathryn E. Gray (University of Cambridge); Tom Ridge (University of Leicester); Peter Sewell (University of Cambridge)
12:30-14:00 Lunch
14:00 Session 8: Type Systems (Chair: Geoffrey Mainland)
Safe Zero-Cost Coercions for Haskell (video)
Joachim Breitner (Karlsruhe Institute of Technology); Richard A. Eisenberg (University of Pennsylvania); Simon Peyton Jones (Microsoft Research); Stephanie Weirich (University of Pennsylvania)
Hindley-Milner Elaboration in Applicative Style (Functional Pearl) (video)
Francois Pottier (INRIA)
14:50-15:10 Break
15:10-16:00 Session 9: Incremental Computing (Chair: Tiark Rompf)
Settable and Non-Interfering Signal Functions for FRP (video)
Daniel Winograd-Cort (Yale University); Paul Hudak (Yale University)
Functional Programming for Dynamic and Large Data with Self-Adjusting Computation (video)
Yan Chen (Max Planck Institute for Software Systems); Umut Acar (Carnegie Mellon University); Kanat Tangwongsan (Mahidol University)
16:00-16:30 Tea
16:30-17:10 ICFP Contest Presentation (video)
17:10-17:30 ICFP 2004 Most Influential Paper Award (video)
20:00-late Banquet
The conference banquet takes place in Eriksbergshallen, on the north bank of the river. The building used to house the mechanical workshops of Eriksbergsvarvet, one of the main shipyards in Gothenburg in the 19th and 20th centuries. Buses will leave the conference centre at 19:00 to take participants to the banquet venue. Buses also take participants back to the city centre/conference venue after the banquet.

Wednesday, 3 September

9:00-10:00 Keynote (Chair: Edwin Brady)
Depending on Types (video)
Stephanie Weirich (University of Pennsylvania)
10:00-10:30 Coffee
10:30-11:20 Session 10: Homotopy Type Theory (Chair: Derek Dreyer)
Homotopical Patch Theory (video)
Carlo Angiuli (Carnegie Mellon University); Ed Morehouse (Carnegie Mellon University); Daniel Licata (Wesleyan University); Robert Harper (Carnegie Mellon University)
Pattern Matching without K (video)
Jesper Cockx (KU Leuven); Dominique Devriese (KU Leuven); Frank Piessens (KU Leuven)
11:20-11:40 Break
11:40-12:30 Session 11: Abstract Interpretation (Chair: Patricia Johann)
Refinement Types For Haskell (video)
Niki Vazou (UC San Diego); Eric L. Seidel (UC San Diego); Ranjit Jhala (UC San Diego); Dimitrios Vytiniotis (Microsoft Research); Simon Peyton-Jones (Microsoft Research)
A Theory of Gradual Effect Systems (video)
Felipe Bañados Schwerter (University of Chile); Ronald Garcia (University of British Columbia); Éric Tanter (University of Chile)
12:30-14:00 Lunch
14:00-14:50 Session 12: Dependent Types (Chair: Ulf Norell)
How to Keep Your Neighbours in Order (video)
Conor McBride (University of Strathclyde)
A Relational Framework for Higher-Order Shape Analysis (video)
Gowtham Kaki (Purdue); Suresh Jagannathan (Purdue)
14:50-15:10 Break
15:10-16:00 Session 13: Domain Specific Languages II (Chair: Yaron Minsky)
There is no Fork: an Abstraction for Efficient, Concurrent, and Concise Data Access (video)
Simon Marlow (Facebook); Louis Brandy (Facebook); Jonathan Coens (Facebook); Jon Purdy (Facebook)
Folding Domain-Specific Languages: Deep and Shallow Embeddings (Functional Pearl) (video)
Jeremy Gibbons (University of Oxford); Nicolas Wu (University of Oxford)
16:00-16:30 Tea
16:30-17:20 Session 14: Abstract Machines (Chair: David Van Horn)
Krivine Nets (video)
Olle Fredriksson (University of Birmingham); Dan Ghica (University of Birmingham)
Distilling Abstract Machines (video)
Beniamino Accattoli (University of Bologna); Pablo Barenbaum (University of Buenos Aires); Damiano Mazza (Université Paris 13)
17:20-17:40 Student Research Competition Award Presentation (video)
17:40-18:00 ICFP 2015 Advert & Closing (video)

Thursday, 4 September

18:30-20:30 Industrial reception
The industrial reception, supported by our platinum and gold sponsors, takes place at the Museum of World Culture, a 200 m walk from the conference venue.