Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

The Haskell Implementors’ Workshop is a forum for those involved in implementing Haskell systems, infrastructure, libraries and tools, for people generally involved in implementing Haskell technology. We share our work and discuss future directions and collaborations with others.

In 2020, the Haskell Implementors’ Workshop will be co-located with ICFP 2020

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.

Accepted Papers

Title
Asterius: bringing Haskell to WebAssembly
HIW
Circuit Notation Source Plugin
HIW
Closing
HIW
Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
HIW
Exactprint in GHC
HIW
Implementation of linear types
HIW
Lightning Talks 1
HIW

Lightning Talks 2
HIW

Liquid Haskell as a GHC Plugin
HIW
Multiple Home Units
HIW
Social break
HIW

Stan — Haskell Static Analyser
HIW
Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
HIW
Updating Immutable Code
HIW

Call for Talks

The 12th Haskell Implementors’ Workshop is to be held alongside ICFP 2020 this year virtually. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others.

Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos and lightning talks.

Scope and Target Audience

It is important to distinguish the Haskell Implementors’ Workshop from the Haskell Symposium which is also co-located with ICFP 2020. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors’ Workshop will have no proceedings – although we will aim to make talk videos, slides and presented data available with the consent of the speakers.

The Implementors’ Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work.

The scope covers any of the following topics. There may be some topics that people feel we’ve missed, so by all means submit a proposal even if it doesn’t fit exactly into one of these buckets:

  • Compilation techniques
  • Language features and extensions
  • Type system implementation
  • Concurrency and parallelism: language design and implementation
  • Performance, optimization and benchmarking
  • Virtual machines and run-time systems
  • Libraries and tools for development or deployment

Talks

We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 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 can be made via HotCRP at https://icfp-hiw20.hotcrp.com/ until July 2nd (anywhere on earth).

We will also have lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks be ~7mins and are scheduled on the day of the workshop. 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.

Logistics

Due to the on-going COVID-19 situation, ICFP (and, consequently, HIW) will be held remotely this year. However, the organizers are still working hard to provide for a great workshop experience.

While we are sad that this year will lack the robust hallway track that is often the highlight of HIW, we believe that this remote workshop presents a unique opportunity to include more of the Haskell community in our discussion and explore new modes of communicating with our colleagues. We hope that you will join us in making this HIW as vibrant as any other.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:00
Sessions 1 and 2HIW at HIW
09:00
22m
Talk
Asterius: bringing Haskell to WebAssembly
HIW
Cheng Shao Tweag I/O, Georgios Karachalias Tweag I/O, Hans Hoeglund Tweag I/O
09:22
22m
Talk
Multiple Home Units
HIW
10:00
35m
Talk
Lightning Talks 1
HIW

10:35
22m
Talk
Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
HIW
Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira Kawata Kyoto University, Mayuko Kori The University of Tokyo, Hiromi Ogawa University of Tsukuba
10:57
22m
Talk
Updating Immutable Code
HIW
Philipp Schuster University of Tübingen, Germany, David Binder University of Tübingen
11:19
12m
Talk
GHC Status Update
HIW
Simon Peyton Jones Microsoft, UK, Ben Gamari Well-Typed LLP
11:31
29m
Break
Social break
HIW

12:30 - 13:30
Session 3HIW at HIW
12:30
22m
Talk
Exactprint in GHC
HIW
12:52
22m
Talk
Liquid Haskell as a GHC Plugin
HIW
Alfredo Di Napoli Well-Typed LLP, Ranjit Jhala University of California at San Diego, USA, Andres Löh Well-Typed LLP, Niki Vazou IMDEA Software Institute
13:14
22m
Talk
Stan — Haskell Static Analyser
HIW
Dmitrii Kovanikov Standard Chartered, Veronika Romashkina None
14:00 - 17:30
Sessions 4 and 5HIW at HIW
14:00
22m
Talk
Implementation of linear types
HIW
14:22
22m
Talk
Circuit Notation Source Plugin
HIW
15:00
45m
Talk
Lightning Talks 2
HIW

15:45
12m
Talk
Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
HIW
Antal Spector-Zabusky University of Pennsylvania, Joachim Breitner DFINITY Foundation, Stephanie Weirich University of Pennsylvania, Yao Li University of Pennsylvania
16:00
20m
Talk
Closing
HIW
Ben Gamari Well-Typed LLP