HaskellImplementorsWorkshop/2014

The Haskell implementors' workshop is a forum for those involved in implementing Haskell systems, infrastructure, libraries and tools, generally for people involved in implementing Haskell technology, to share their work and discuss future directions and collaborations with others.

In 2014, the Haskell Implementors Workshop will be co-located with ICFP 2014 in Gothenburg.

The workshop does not have proceedings. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. The workshop will be informal and interactive, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks.

Proposals for talks and demos should be submitted via Easychair under https://www.easychair.org/conferences/?conf=hiw2014 before the deadline (use "abstract-only" submission).

We are aiming for 20 minute talks with 10 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. For more details see the Call for Contributions in full.

The workshop will also give opportunity for lightning talks organised on the workshop day. These talks will be 5-10 minutes, depending on available time, and do not require prior proposal submission.

Links

• Call for Contributions
• Easychair submission page

Important Dates

• Monday, 14 July, 2014: Talk Proposal Deadline (anywhere on earth)
• Monday, 21 July, 2014: Notification
• (a couple of days after 21 July): Notification (sorry, we are delayed)
• Saturday, 6 September: Workshop

Programme

08:50 - 09:00	Haskell Implementors' Workshop 2014
08:50	Welcome to HIW 2014 Jost Berthold , Geoffrey Mainland
09:00 - 10:05	Haskell in a different flavour
09:00	CLaSH: Compiling circuit descriptions
09:25	PureScript (short talk)
09:45	The Past, Present and Future of the Programmer-friendly Helium Compiler (short talk)
10:05 - 10:30	Coffee break
10:30 - 11:20	Memory / runtime management
10:30	GUMSMP: a multilevel parallel Haskell implementation
10:55	Managing a Haskell heap in Javascript
11:20 - 11:40	Break
11:40 - 12:30	GHC
11:40	GHC status update
12:05	GHC's developer tools ecosystem (contributing to GHC)
12:30 - 14:00	Lunch
14:00 - 14:50	Haskell modules
14:00	Extending Cabal with Plugins, Preprocessors and Multi-target Compilers (short talk)
14:20	Implementing Backpack in GHC (short talk)
14:40	Lightning talks I (2-3 talks)
14:50 - 15:10	Break
15:10 - 16:00	Advanced types
15:10	Dependent Haskell
15:35	Partial Type Signatures
16:00 - 16:30	Tea break
16:30 - 18:00	Distributed Haskell
16:30	The implementation of the HdpH DSLs: Details and Difficulties
16:55	A GHC language extension for static values (short talk)
17:15	Lightning talks II (remaining talks)

Programme Committee

• Jost Berthold - co-chair (University of Copenhagen)
• Kevin Hammond (University of St.Andrews)
• Gabriele Keller (University of New South Wales)
• Paul Liu (Intel Labs)
• Rita Loogen (Philipps-Universitat Marburg)
• Geoffrey Mainland - co-chair (Drexel University, Philadelphia)
• Carter Schonwald (WellPosed Ltd)