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.
- 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
|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|
|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: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)|
- 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)