Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

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 2017, the Haskell Implementors’ Workshop will be co-located with ICFP 2017 in Oxford.

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.

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

Sat 9 Sep

Displayed time zone: Belfast change

09:00 - 10:10
State of GHCHIW at L1
Chair(s): Richard A. Eisenberg Bryn Mawr College, USA
09:00
30m
Talk
Progress on GHC
HIW
Simon Peyton Jones Microsoft Research, Cambridge
09:30
30m
Talk
GHC Infrastructure Update and Discussion
HIW
Ben Gamari Well-Typed LLP
10:00
10m
Talk
Getting Ready for Hadrian
HIW
Andrey Mokhov , Zhen Zhang University of Washington, Ben Gamari Well-Typed LLP, Neil Mitchell
10:30 - 11:30
Compiling to LLVMHIW at L1
Chair(s): Jan Stolarek University of Edinburgh, UK
10:30
25m
Talk
Native Support for Explicit Stacks in LLVM
HIW
Kavon Farvardin University of Chicago, Simon Peyton Jones Microsoft Research, Cambridge
10:55
25m
Talk
SimplexHC: Lowering High-Level Haskell to Imperative IR
HIW
Siddharth Bhat IIT Hyderabad
11:20
10m
Talk
Lightning Talk Slot #1
HIW

12:00 - 12:25
ConstraintsHIW at L1
Chair(s): Ben Gamari Well-Typed LLP
12:00
25m
Talk
On Unsatisfiability
HIW
J. Garrett Morris University of Kansas, USA
14:00 - 15:00
Working in CoreHIW at L1
Chair(s): Adam Gundry Well-Typed LLP
14:00
25m
Talk
Why GHC Core and Linear Logic Should be Best Friends
HIW
14:25
25m
Talk
Demand Analysis vs. Call Arity
HIW
Sebastian Graf Karlsruhe Institute of Technology
14:50
10m
Talk
Lightning Talk Slot #2
HIW

15:30 - 16:30
Tool SupportHIW at L1
Chair(s): Wren Romano X
15:30
25m
Talk
IDE Support in GHC
HIW
15:55
25m
Talk
Tracking GHC Performance
HIW
16:20
10m
Talk
Lightning Talk Slot #3
HIW

16:50 - 17:50
All Broken UpHIW at L1
Chair(s): Bartosz Nitka Facebook
16:50
25m
Talk
An Experiment in Fragment-Based Code Distribution
HIW
Philipp Schuster University of Tübingen
17:15
35m
Talk
Lightning Talk Slot #4
HIW

Call for Talks

The Ninth Haskell Implementors’ Workshop is to be held alongside ICFP 2017 this year in Oxford. 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 impromptu short 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 2017. 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, optimisation 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 should be made via HotCRP. The website is: https://icfp-hiw17.hotcrp.com/

We will also have a lightning talks session which will be organized 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.

Program Committee

  • Richard A. Eisenberg – chair (Bryn Mawr College)
  • Adam Gundry (Well-Typed)
  • Bartosz Nitka (Facebook)
  • Wren Romano (X, formerly Google[x])
  • Alejandro Serrano Mena (Utrecht University)
  • Jan Stolarek (University of Edinburgh)

Contact