Haskell logo

Haskell Symposium 2010

Baltimore MD, United States
Thursday, 30th September, 2010
ACM logo


09.00–09.10: Jeremy Gibbons. Introduction and PC Chair's report
09.10–09.35: Tillmann Rendel and Klaus Ostermann. Invertible syntax descriptions: Unifying parsing and pretty printing
09.35–10.00: Milan Straka. The performance of Haskell containers package
10.00–10.30: Coffee break
10.30–10.55: Maciej Pirog and Dariusz Biernacki. A Systematic Derivation of the STG Machine Verified in Coq
10.55–11.20: José Pedro Magalhães, Atze Dijkstra, Johan Jeuring and Andres Löh. A generic deriving mechanism for Haskell
11.20–11.45: John van Groningen, Thomas van Noort, Peter Achten, Pieter Koopman and Rinus Plasmeijer. Exchanging Sources Between Clean and Haskell—A Double-Edged Front End for the Clean Compiler
11.45–12.00: J. Garrett Morris. Experience Report: Using Hackage to Inform Language Design
12.00–13.30: Lunch
13.30–13.55: Geoffrey Mainland and Greg Morrisett. Nikola: Embedding Compiled GPU Functions in Haskell
13.55–14.20: John Launchbury and Trevor Elliott. Concurrent Orchestration in Haskell
14.20–14.45: Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad and Phil Trinder. Seq no more: Better Strategies for Parallel Haskell
14.45–15.00: Bryan O'Sullivan and Johan Tibell. Scalable Event Handling for GHC
15.00–15.30: Coffee break
15.30–15.55: David Terei and Manuel Chakravarty. An LLVM Backend For GHC
15.55–16.20: Norman Ramsey, João Dias and Simon Peyton Jones. Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation
16.20–16.45: Max Bolingbroke and Simon Peyton Jones. Supercompilation by Evaluation
16.45–17.00: Short break
17.00–17.25: Brent Yorgey. Species and Functors and Types, Oh My!
17.25–17.40: Simon Marlow and Malcolm Wallace. Status reports on Haskell 2010 and Haskell 2011

Jeremy Gibbons