Haskell Symposium 2013Haskell Symposium 2013
| 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 |