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 2023, the Haskell Implementors’ Workshop will be co-located with ICFP 2023.
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.
Remote presentation policy
Authors are strongly encouraged to present their work in-person, but may present it remotely if in-person attendance is not possible. In either case the author presenting the work must register for the workshop. Registration for remote participation is significantly cheaper and covers the whole conference. If you are unable to attend in-person or have other scheduling constraints, then please let the workshop organisers know ASAP so that we can take this into account when putting together the schedule.
Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 30mTalk | Introduction HIW Ryan Scott Galois, Inc. | ||
09:30 60mTalk | GHC status report HIW |
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 30mTalk | Integrating Liquid Haskell with GHC HIW Facundo Domínguez Tweag | ||
11:30 30mTalk | Error Message Annotation Plugins for Haskell HIW Dylan Thinnes Digital Asset | ||
12:00 15mTalk | An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk) HIW | ||
12:15 15mTalk | Advancements in info table profiling (Lightning Talk) HIW Finley McIlwaine Well-Typed LLP |
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 30mTalk | GHC Plugin for Setting Breakpoints HIW | ||
14:30 15mTalk | Building web apps with Haskell and IHP (Lightning Talk) HIW Marc Scholten digitally induced | ||
14:45 15mTalk | Deriving as a library (Lightning Talk) HIW Li-yao Xia University of Edinburgh | ||
15:00 15mTalk | MicroHaskell (Lightning Talk) HIW Lennart Augustsson Epic Games | ||
15:15 15mTalk | Using MMTk Garbage Collection in GHC (Lightning Talk)Remote HIW |
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 30mTalk | Severing ties: the need for non-updateable thunks HIW Edsko de Vries Well-Typed LLP | ||
16:30 30mTalk | ghc-specter: a GHC plugin that inspects the GHC state on live HIW Ian-Woo Kim Mercury Technologies, Inc | ||
17:00 15mTalk | Execution domains in GHC/Haskell (Lightning Talk) HIW Ben Gamari Well-Typed LLP | ||
17:15 15mTalk | Kudzu (Lightning Talk) HIW |
Accepted Talks
Call for Talks
The 15th Haskell Implementors’ Workshop is to be held alongside ICFP 2023 this year in Seattle. 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 to 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 2023. 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 are encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are especially 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-hiw2023.hotcrp.com until July 16 (anywhere on earth).
We will also have a lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks should 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.
Lightning Talks
We have a number of slots for lightning talks. Lightning talks will be ~7 minutes 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.
Lightning talks are proposed by submitting a title and an abstract. Submissions will not be part of the peer-review process. Notification of acceptance will be continuous until slots are full. Accepted lightning talks will be posted on the workshop’s website.
Submissions should be made via this Google form: https://forms.gle/2jGceompwNghbRQR9
Accepted lightning talks will be posted on the workshop’s website.