Session chair: Kathleen Fisher

09:00–10:00 John Launchbury

Haskell in Practice at Galois (invited talk)

10:00–10:30 Jean-Philippe Bernardy and Nicolas Pouillard

Names For Free—Polymorphic Views of Names and Binders

Session chair: Ohad Kammar

11:00–11:30 Oleg Kiselyov, Amr Sabry, and Cameron Swords

Extensible Effects: An Alternative to Monad Transformers

11:30–12:30 Ohad Kammar, Sam Lindley, Oleg Kiselyov, Daan Leijen, Tom Schrijvers, Tarmo Uustalu, and Philip Wadler

The Future of Effects in Haskell (panel)

Lunch

Session chair: Neil Sculthorpe

14:00–14:30 Atze van der Ploeg

Monadic Functional Reactive Programming

14:30–14:50 Niki Vazou, Eric Seidel, and Ranjit Jhala

Liquid Types for Haskell (demo)

14:50–15:20 Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtländer

Understanding Idiomatic Traversals Backwards and Forwards

Session chair: Andreas Abel

16:00–16:30 Sam Lindley and Conor McBride

Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming

16:30–17:00 Joe Leslie-Hurd

Maintaining Verified Software

Session chair: Aaron Contorer

17:30–18:30 Aaron Contorer, Andres Löh, Bryan O'Sullivan, Dmitriy Traytel, and Stephanie Weirich

Teaching Haskell in Academia and Industry (panel)

09:00–09:10 Chung-chieh Shan

Program Chair Report

Session chair: Lennart Augustsson

09:10–09:40 Hai Liu, Neal Glew, Leaf Petersen, and Todd Anderson

The Intel Labs Haskell Research Compiler

09:40–10:10 Andreas Voellmy, Junchang Wang, Paul Hudak, and Kazuhiko Yamamoto

Mio: A High-Performance Multicore IO Manager for GHC

Session chair: Simon Thompson

10:30–11:30 Simon Thompson, Bastiaan Heeren, Anil Madhavapeddy, Guy Steele, Bryan O'Sullivan, and Simon Peyton Jones

Haskell and GHC: Too Big to Fail? (panel)

Session chair: Janis Voigtländer

11:50–12:10 Luite Stegeman

GHCJS, Concurrent Haskell in the Browser (demo)

12:10–12:30 Susumu Katayama

MagicHaskeller on the Web: Automated Programming as a Service (demo)

Lunch

Session chair: Gabriele Keller

14:00–14:30 Johan Ankner and Josef Svenningsson

An EDSL Approach to High Performance Haskell Programming

14:30–15:00 Koen Claessen and Michał Pałka

Splittable Pseudorandom Number Generators Using Cryptographic Hashing

Session chair: Norman Ramsey

15:20–15:50 Ben Lippmeier, Manuel Chakravarty, Gabriele Keller, and Amos Robinson

Data Flow Fusion with Series Expressions in Haskell

15:50–16:20 Peter Wortmann and David Duke

Causality of Optimized Haskell: What is Burning Our Cycles?