Haskell Symposium 2010

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

Schedule

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