HaskellImplementorsWorkshop/2013

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 2013 was co-located with ICFP 2013 in Boston.

Links

• Call for Talks

Important Dates

• Tuesday 13th August: Talk Proposal Deadline (anywhere on earth)
• Tuesday 27th August: Notification
• Sunday 22th September: Workshop

Programme

9:00-10:30 Session 1

• GHC Status Update (Simon Peyton Jones)
• Haskell.org Committee and Infrastructure Status Update (Gershom Bazerman)
• Introducing the Core Libraries Committee (Edward Kmett)

10:30-11:00: Coffee Break

11:00-12:30 Session 2

• GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day (Richard A. Eisenberg)
• Resource Limits for Haskell (Edward Z. Yang)
• SpecConstr: optimising purely functional loops (Amos Robinson)

12:30-14:00: Lunch

14:00-15:30: Session 3

[Note -- the first two talks in this session have been switched from their order in the original schedule.]

• Prototyping GHC Optimizations with HERMIT (Andrew Farmer and Andy Gill) (slides)
• Optimizing "Scrap Your Boilerplate" with HERMIT (Michael D. Adams, Andrew Farmer and José Pedro Magalhães)
• Inhabiting Habit: An Introduction to the Habit Compiler (Mark Jones)

15:30-16:00: Coffee Break

16:00-17:00: Session 4

• Run-time supported Haskell Serialisation - an API (Jost Berthold) (slides)
• Lightning Talks: Sign up at the beginning of the day.
  • Using HTM to speed up STM (Ryan Yates)
  • Smten: Orchestrating SMT in Haskell (Richard Uhler) (site)
  • Hackage 2 (Duncan Coutts)
  • Haskell-to-hardware via CCCs (Conal Elliott)