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 2016, the Haskell Implementors Workshop will be co-located with ICFP 2016 in Nara.
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.
Traditionally, HIW is an open forum for 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.
Sat 24 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15
The State of GHCHIW at Conference Room 1
|The State of GHC|
Simon Peyton Jones Microsoft Research, UK
|Contributing to GHC|
Ben Gamari Well-Typed LLP
10:35 - 11:25
Pluggability and ModularityHIW at Conference Room 1
|Backpack to Work: Towards Backpack in Practice|
Edward Z. Yang Stanford University
|More powerful GHC Plugins|
11:45 - 12:35
Types and EffectsHIW at Conference Room 1
|A Dependent Haskell Triptych|
Richard A. Eisenberg Bryn Mawr College
|Automatically Escaping Monads|
Ben Lippmeier University of New South Wales
14:00 - 14:50
The Engineering of GHCHIW at Conference Room 1
|Pita: Tools for making GHC fast again|
Ben Gamari Well-Typed LLP
Bartosz Nitka Facebook
15:20 - 16:10
Backends for GHCHIW at Conference Room 1
Simon Marlow Facebook
|GHCVM - A JVM Backend for GHC|
Rahul Muttineni TypeLead
16:40 - 18:00
Trees and Lightning TalksHIW at Conference Room 1
|Trees That Grow|
Shayan Najd , Simon Peyton Jones Microsoft Research, UK, Jacques Carette McMaster University
Call for Papers
We invite proposals from potential speakers for talks and demonstrations. 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. Please submit a talk title and abstract of no more than 300 words.
Submissions should be made via HotCRP. The website is: https://icfp-hiw16.hotcrp.com/
We will also have a lightning talks session which will be organised on the day. These talks will be 5-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators.
- Proposal Deadline: Monday, 8 August, 2016
- Notification: Monday, 22 August, 2016
- Workshop: Saturday, 24 September, 2016