Erlang 2024
Mon 2 Sep 2024 Milan, Italy
co-located with ICFP 2024
VenueAllianz MiCo (Milano Convention Centre)
Room nameOrange 3
Capacity90
Room InformationNo extra information available
Program

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

Mon 2 Sep

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

09:00 - 10:30
Icebreaker and Getting the Most Out of ICFPPLMW @ ICFP at Orange 3
Chair(s): Stefan K. Muller Illinois Institute of Technology
09:00
5m
Day opening
Welcome
PLMW @ ICFP
Ningning Xie University of Toronto; Google DeepMind, Stefan K. Muller Illinois Institute of Technology, Thomas Bourgeat EPFL
09:05
40m
Other
PLMW Icebreaker Session
PLMW @ ICFP

09:45
45m
Talk
Getting the Most Out of ICFP
PLMW @ ICFP
Samantha Frohlich University of Bristol
11:00 - 12:30
Panel and Speed MentoringPLMW @ ICFP at Orange 3
Chair(s): Stefan K. Muller Illinois Institute of Technology
11:00
60m
Panel
Research, Grad School, Community - Let's chat!
PLMW @ ICFP
Niki Vazou IMDEA Software Institute, Aymeric Fromherz Inria, Sam Lindley University of Edinburgh, Andreas Rossberg Independent, Samantha Frohlich University of Bristol
12:00
30m
Social Event
Speed mentoring
PLMW @ ICFP

14:00 - 15:30
Technical SessionPLMW @ ICFP at Orange 3
Chair(s): Ningning Xie University of Toronto; Google DeepMind
14:00
45m
Talk
How to read a research paper
PLMW @ ICFP
Simon Peyton Jones Epic Games
14:45
45m
Talk
Self-verification for Proof Assistants
PLMW @ ICFP
16:00 - 17:30
Sharing ExperiencesPLMW @ ICFP at Orange 3
Chair(s): Ningning Xie University of Toronto; Google DeepMind
16:00
45m
Talk
My PhD Compass: 6 Ways to Guide a PhD Towards Success
PLMW @ ICFP
Harrison Goldstein University of Maryland College Park
16:45
45m
Day closing
Conclusion, survey and unstructured time
PLMW @ ICFP

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

Mon 2 Sep

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

Fri 6 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Orange 3

Sat 7 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Orange 3

Mon 2 Sep

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