ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2 +120h +48h +96h +72h

All speakers speaking in the morning session should arrive early to submit the slides. We recommend that you arrive already at 8:00.

08:00
60m
Registration
Registration
Catering & social

10:30 - 11:00
Coffee breakCatering & social at Foyer 2 +96h +120h
10:30
30m
Coffee break
Coffee break
Catering & social

12:30 - 14:00
LunchCatering & social at Foyer 2 +120h +96h
12:30
90m
Lunch
Lunch
Catering & social

15:30 - 16:00
Coffee breakCatering & social at Foyer 2 +96h +120h
15:30
30m
Coffee break
Coffee break
Catering & social

Mon 12 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 08:50
RegistrationCatering & social at Foyer 2

If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00
50m
Registration
Registration
Catering & social

08:50 - 09:00
08:50
10m
Day opening
Welcome
Catering & social
G: Andrej Bauer University of Ljubljana
10:00 - 10:30
Coffee breakCatering & social at Foyer 2 +48h +24h
10:00
30m
Coffee break
Coffee break
Catering & social

12:10 - 13:40
LunchCatering & social at Foyer 2 +24h +48h
12:10
90m
Lunch
Lunch
Catering & social

15:20 - 15:50
Coffee breakCatering & social at Foyer 2 +48h +24h
15:20
30m
Coffee break
Coffee break
Catering & social

16:50 - 17:00
BreakCatering & social at Foyer 2 +48h +24h
16:50
10m
Break
Break
Catering & social

19:00 - 20:00
Guided tour of LjubljanaCatering & social at Kongresni trg
19:00
60m
Social Event
Guided tour of Ljubljana
Catering & social

20:00 - 22:00
Reception & SRC poster presentationCatering & social at Ljubljana castle
20:00
2h
Social Event
Reception & SRC poster presentation
Catering & social

Tue 13 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2

If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00
60m
Registration
Registration
Catering & social

10:00 - 10:30
Coffee breakCatering & social at Foyer 2
10:00
30m
Coffee break
Coffee break
Catering & social

12:10 - 13:40
12:10
90m
Lunch
Lunch
Catering & social

15:20 - 15:50
CARES sessionCatering & social at E6 +18h40min
15:20
30m
Social Event
CARES session
Catering & social
C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania
15:20 - 15:50
Coffee breakCatering & social at Foyer 2
15:20
30m
Coffee break
Coffee break
Catering & social

16:50 - 17:00
16:50
10m
Break
Break
Catering & social

18:30 - 21:00
Women@ICFP dinnerCatering & social at Gostilna Breg
18:30
2h30m
Dinner
Women@ICFP
Catering & social
O: Anja Petković Komel TU Wien, Vienna, Austria

Wed 14 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2

If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00
60m
Registration
Registration
Catering & social

10:00 - 10:30
CARES sessionCatering & social at E6
10:00
30m
Social Event
CARES session
Catering & social
C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania
10:00 - 10:30
Coffee breakCatering & social at Foyer 2
10:00
30m
Coffee break
Coffee break
Catering & social

12:10 - 13:40
12:10
90m
Lunch
Lunch
Catering & social

15:20 - 15:50
Coffee breakCatering & social at Foyer 2
15:20
30m
Coffee break
Coffee break
Catering & social

16:50 - 17:00
16:50
10m
Break
Break
Catering & social

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2
08:00
60m
Registration
Registration
Catering & social

09:00 - 10:30
Language DesignML at Štih
Chair(s): Benoît Montagu Inria
09:00
50m
Keynote
Efficient and Scalable Parallel Functional Programming Through Disentanglement
ML
Sam Westrick Carnegie Mellon University
09:50
20m
Talk
Towards Algebraic Subtyping for Extensible Records
ML
Rodrigo Marques Universidade do Porto, Mário Florido Universidade do Porto, Pedro Vasconcelos LIACC, Universidade do Porto, Porto, Portugal
10:10
20m
Talk
The Ultimate Conditional SyntaxVirtual
ML
Lionel Parreaux The Hong Kong University of Science and Technology (HKUST)
Pre-print File Attached
10:30 - 11:00
Coffee breakCatering & social at Foyer 2
10:30
30m
Coffee break
Coffee break
Catering & social

11:00 - 12:30
Implementation of Functional LanguagesML at Štih
Chair(s): Matija Pretnar University of Ljubljana, Slovenia
11:00
20m
Talk
A New Match Compiler for Standard ML of New Jersey
ML
David MacQueen University of Chicago (Emeritus)
File Attached
11:20
20m
Talk
Boxroot, fast movable GC roots for a better FFI
ML
Pre-print
11:40
20m
Talk
Unboxed types for OCaml
ML
Richard A. Eisenberg Jane Street, Stephen Dolan Jane Street, Leo White Jane Street
12:00
20m
Talk
What About the Integer Numbers?
ML
Daan Leijen Microsoft Research
Link to publication File Attached
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
Tools & MetaprogrammingML at Štih
Chair(s): Ningning Xie University of Cambridge
14:00
20m
Talk
Necro ML: Generating OCaml Interpreters
ML
Louis Noizet Univ. Rennes 1, Alan Schmitt Inria
Pre-print File Attached
14:20
20m
Talk
Module Shapes for Modern Tooling
ML
Thomas Réfis Tarides, Ulysse Gérard Tarides, Leo White Jane Street
14:40
20m
Talk
An OCaml use case for strong call-by-need reduction
ML
15:00
20m
Talk
Do Mutable Variables Have Reference Types?
ML
Oleg Kiselyov Tohoku University, Japan
Pre-print
15:30 - 16:00
Coffee breakCatering & social at Foyer 2
15:30
30m
Coffee break
Coffee break
Catering & social

17:30 - 20:00
Industrial receptionCatering & social at Foyer 2
17:30
2h30m
Social Event
Industrial reception
Catering & social

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2
08:00
60m
Registration
Registration
Catering & social

10:30 - 11:00
Coffee breakCatering & social at Foyer 2
10:30
30m
Coffee break
Coffee break
Catering & social

12:30 - 14:00
OCaml Industry LunchCatering & social at E2
12:30
90m
Social Event
OCaml Industry Lunch
Catering & social

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering & social

15:30 - 16:00
Coffee breakCatering & social at Foyer 2
15:30
30m
Coffee break
Coffee break
Catering & social

19:00 - 21:00
OCaml & farewell receptionCatering & social at Ljubljana Zoo

See event details for information on travel and free zoo entry.

19:00
2h
Social Event
OCaml & farewell reception
Catering & social