HaskellImplementorsWorkshop/2012

The Haskell Implementors Workshop is an informal affair, aimed at bringing together people behind the Haskell infrastructure. It provides a forum where people working on compilers, tools, or libraries for Haskell development can bat around ideas, share experiences and ask for feedback from fellow experts. There are no proceedings, just a mixture of short talks, longer talks, discussion and demos.

The Haskell Implementors Workshop will run again this year, co-located with ICFP 2012.

Links

• Call for Talks

Important Dates

• Tuesday 10th July: Proposal Deadline
• Friday 27th July: Notification
• Friday 14th September: Workshop

Programme

9:00-10:30 Session 1

• GHC Status Update (Simon Peyton-Jones) Slides
• A Trace-based Just-in-time Compiler for Haskell (Thomas Schilling) Slides
• First Lightning Talks Session
  • HdpH (Philip W Trinder) Slides
  • dup -- explicit unsharing (Joachim Breitner) Slides
  • Core diving (Peter Wortmann) Slides

10:30-11:00: Break

11:00-12:30: Session 2

• Bringing Atomic Memory Operations to a Lazy Language (Ryan Newton)
• Cloud Haskell 2.0 (Duncan Coutts and Edsko de Vries)
• Why can't I get a stack trace? (Simon Marlow)

12:30-14:00: Lunch Break

14:00-15:30: Session 3

• Implementing Type-Level Literals in GHC (Iavor S. Diatchki) Slides
• Haskell Platform: Field Report and Future Goals (Mark Lentczner) Slides
• Second Lightning Talks Session
  • Splittable random number generators (Michal Palka)
  • zoom-cache (Conrad Parker) Slides
  • Indentation Sensitive Parsing (Michael D. Adams) Slides
  • Optimisation of Generic Programs through Inlining (José Pedro Magalhães) Slides

15:30-16:00: Cake Break

16:00-18:00: Session 4

• Web browser programming with UHC's JavaScript backend (Atze Dijkstra) Slides
• Making cabal-install non-destructive (Philipp Schuster) Slides
• haskell-suite (Niklas Broberg)
• Third Lightning Talks Session and Beyond Haskell Discussion
  • Hmm... (Niklas Broberg)
  • GUMSMP (Malak Aljabri) Slides
  • HERMIT for Haskell Impl. (Andy Gill)
  • API update tool (Roman Cheplyaka)

Organisers

• Lennart Augustsson (Standard Chartered Bank)
• Manuel M T Chakravarty (University of New South Wales)
• Gregory Collins - co-chair (Google)
• Simon Marlow (Microsoft Research)
• David Terei (Stanford University)
• Johan Tibell - co-chair (Google)