Haskell Symposium 2013

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

RSS Twitter Facebook
2013-09-25
Please fill out the survey about this year's symposium format!
2013-08-22
Posted tentative schedule. Our invited speaker is John Launchbury.
2013-07-15
Posted list of accepted submissions.
2013-06-01
Linked to Ben Lippmeier’s advice on Experience Reports.
2013-04-15
ACM no longer requires authors to transfer copyright to ACM upon acceptance.
2013-03-29
Posted call for submissions.

Schedule

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)
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)
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)
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?
16:40–17:10 Mario Blažević
Adding Structure to Monoids
http://www.haskell.org/haskell-symposium/2013/ · [email protected]