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 | |||
09:15 30mTalk | The State of GHC HIW Simon Peyton Jones Microsoft Research, UK | ||
09:45 30mTalk | Contributing to GHC HIW Ben Gamari Well-Typed LLP |
10:35 - 11:25 | |||
10:35 25mTalk | Backpack to Work: Towards Backpack in Practice HIW Edward Z. Yang Stanford University | ||
11:00 25mTalk | More powerful GHC Plugins HIW |
11:45 - 12:35 | |||
11:45 25mTalk | A Dependent Haskell Triptych HIW Richard A. Eisenberg Bryn Mawr College | ||
12:10 25mTalk | Automatically Escaping Monads HIW Ben Lippmeier University of New South Wales |
14:00 - 14:50 | |||
14:00 25mTalk | Pita: Tools for making GHC fast again HIW Ben Gamari Well-Typed LLP | ||
14:25 25mTalk | GHC Determinism HIW Bartosz Nitka Facebook |
15:20 - 16:10 | |||
15:20 25mTalk | Remote GHCi HIW Simon Marlow Facebook | ||
15:45 25mTalk | GHCVM - A JVM Backend for GHC HIW Rahul Muttineni TypeLead |
16:40 - 18:00 | |||
16:40 25mTalk | Trees That Grow HIW | ||
17:05 55mOther | Lightning talks HIW |
Accepted Talks
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.
Important dates:
Tentative timeline:
- Proposal Deadline: Monday, 8 August, 2016
- Notification: Monday, 22 August, 2016
- Workshop: Saturday, 24 September, 2016