Program - ICFP 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Haskell: Keynote 1Haskell at Orange 3 Chair(s): J. Garrett Morris University of Iowa

09:00 5m Talk		Welcome Haskell J. Garrett Morris University of Iowa
09:05 70m Keynote		Fabricating Functional Formalisms for Fun Haskell Brent Yorgey Hendrix College

11:00 - 12:30	Haskell 1Haskell at Orange 3 Chair(s): Niki Vazou IMDEA Software Institute

11:00 30m Talk		Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus Haskell Pedro Vasconcelos University of Porto, Rodrigo Marques Universidade do Porto
11:30 30m Talk		Liquid Amortization - Proving amortized complexity with LiquidHaskell (Functional Pearl) Haskell Jan van Brügge Heriot-Watt University
12:00 30m Talk		Making a Curry Interpreter using Effects and Handlers Haskell Niels Bunkenburg University of Kiel, Germany, Nicolas Wu Imperial College London

14:00 - 15:30	Haskell: Keynote 2Haskell at Orange 3 Chair(s): J. Garrett Morris University of Iowa

14:00 70m Keynote		State of GHC Haskell Simon Peyton Jones Epic Games File Attached

16:00 - 17:30	Haskell 2Haskell at Orange 3 Chair(s): J. Garrett Morris University of Iowa

16:00 30m Talk		Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers Haskell Momoka Saito The University of Electro-Communications, Hideya Iwasaki Meiji University, Hideyuki Kawabata Hiroshima City University, Tsuneyasu Komiya The University of Electro-Communications
16:30 20m Talk		[HIW] Thrive with HEAD - How to adopt innovation from GHC HEAD timely in industrial scale Haskell Ian-Woo Kim Mercury Technologies, Inc
16:50 40m Talk		Lightning talks I Haskell

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Haskell 3Haskell at Orange 3 Chair(s): Paul Downen University of Massachusetts at Lowell

09:00 30m Talk		MicroHs - A Small Compiler for Haskell Haskell Lennart Augustsson Epic Games
09:30 30m Talk		Higher Order Patterns for Rewrite Rules Haskell Jaro Reinders Delft University of Technology DOI File Attached
10:00 30m Talk		Welcome to the Parti(tioning) (Functional Pearl) Haskell Robert Krook Chalmers University of Technology, Sweden, Samuel Hammersberg Gothenburg University

11:00 - 12:30	Haskell 4Haskell at Orange 3 Chair(s): Michael D. Adams National University of Singapore

11:00 22m Talk		[HIW] Analysing the heap of uninstrumented Haskell programs using ghc-debug Haskell Zubin Duggal Well-Typed LLP
11:22 22m Talk		[HIW] A zero-copy interface to compact regions powered by destinations Haskell Thomas BAGREL Tweag, LORIA/INRIA
11:45 22m Talk		[HIW] Building Haskell with Buck2 Haskell Andreas Herrmann Tweag by Modus Create
12:07 22m Talk		[HIW] The JavaScript FFI feature in GHC Wasm backend Haskell Cheng Shao Modus Create

14:00 - 15:30	Haskell 5Haskell at Orange 3 Chair(s): Simon Marlow Meta

14:00 30m Talk		Calculating Compilers Effectively Haskell Zac Garby University of Nottingham, Graham Hutton University of Nottingham, Patrick Bahr IT University of Copenhagen
14:30 30m Talk		Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages Haskell Craig Ramsay Heriot-Watt University, Rob Stewart Heriot-Watt University
15:00 30m Talk		Functional Reactive Programming, Rearranged Haskell Finnbar Keating University of Warwick, Michael Gale GitHub

16:00 - 17:30	Lightning talks / Chairs' reportHaskell at Orange 3 Chair(s): J. Garrett Morris University of Iowa

16:00 90m Talk		Lightning talks II / Chairs' report / Future of HS discussion Haskell J. Garrett Morris University of Iowa, Niki Vazou IMDEA Software Institute

Haskell 2024 Program

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

Haskell 2024 Program

Switch Program View

Program Display Configuration

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change