Haskell Symposium 2013

Boston, MA, USA
23–24 September 2013
(directly before ICFP)

RSS Twitter Facebook
Please fill out the survey about this year's symposium format!
Posted tentative schedule. Our invited speaker is John Launchbury.
Posted list of accepted submissions.
Linked to Ben Lippmeier’s advice on Experience Reports.
ACM no longer requires authors to transfer copyright to ACM upon acceptance.
Posted call for submissions.


Monday, 23 September 2013
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)
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)
Tuesday, 24 September 2013
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)
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?
16:40–17:10 Mario Blažević
Adding Structure to Monoids
http://www.haskell.org/haskell-symposium/2013/ · haskell2013@easychair.org