Program - ICFP 2022

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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

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	WelcomeCatering & social at Linhart

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	LunchCatering & social at Foyer 2

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	BreakCatering & social at Foyer 2

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	LunchCatering & social at Foyer 2

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	BreakCatering & social at Foyer 2

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

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

10:30 30m Coffee break		Coffee break Catering & social

12:30 - 14:00	LunchCatering & social at Foyer 2

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

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

09:00 - 10:30	OCaml 5.0OCaml at M1 Chair(s): Matija Pretnar University of Ljubljana, Slovenia

09:00 50m Keynote		OCaml 5.0 - Concurrent and Parallel programming for OCaml OCaml KC Sivaramakrishnan IIT Madras and Tarides Media Attached
09:50 20m Talk		Multicoretests - Parallel Testing Libraries for OCaml 5.0 OCaml Jan Midtgaard Tarides, Olivier Nicole Tarides, Nicolas Osborne Tarides
10:10 20m Talk		Composing Schedulers using Effect Handlers OCaml Deepali Ande IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides Pre-print

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

10:30 30m Coffee break		Coffee break Catering & social

11:00 - 12:30	PerformanceOCaml at Štih Chair(s): Oleg Kiselyov Tohoku University, Japan

11:00 20m Talk		Efficient “out of heap” pointers for multicore OCaml OCaml Guillaume Munch-Maccagnoni INRIA Pre-print
11:20 20m Talk		Memo: an incremental computation library that powers Dune OCaml Andrey Mokhov Jane Street, Arseniy Alekseyev Jane Street File Attached
11:50 20m Talk		Stack allocation for OCaml OCaml Stephen Dolan Jane Street, Leo White Jane Street Pre-print
12:10 20m Talk		Continuous Monitoring of OCaml Applications using Runtime EventsVirtual OCaml Sadiq Jaffer Tarides and University of Cambridge, Patrick Ferris Tarides Pre-print

12:30 - 14:00	OCaml Industry LunchCatering & social at E2

12:30 90m Social Event		OCaml Industry Lunch Catering & social

12:30 - 14:00	LunchCatering & social at Foyer 2

12:30 90m Lunch		Lunch Catering & social

14:00 - 15:30	ToolsOCaml at Štih Chair(s): KC Sivaramakrishnan IIT Madras and Tarides

14:00 20m Talk		Homogeneous builds with OBuilder and OCaml OCaml Tim McGilchrist Tarides, David Allsopp Tarides, Patrick Ferris Tarides, Antonin Décimo Tarides, Thomas Leonard Tarides UK, Anil Madhavapeddy University of Cambridge, UK, Kate Deplaix Tarides UK Pre-print Media Attached
14:20 20m Talk		Tracing OCaml Programs OCaml Darius Foo , Wei-Ngan Chin National University of Singapore Pre-print Media Attached
14:50 20m Talk		Supporting a decade of opam OCaml David Allsopp Tarides, Raja Boujbel OCamlPro, Kate Deplaix Tarides UK, Louis Gesbert OCamlPro Media Attached File Attached
15:10 20m Talk		Copying opam switches – it should Just Work™ OCaml David Allsopp Tarides Media Attached File Attached

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

15:30 30m Coffee break		Coffee break Catering & social

16:00 - 17:30	Applications & TeachingOCaml at Štih Chair(s): Benoît Montagu Inria

16:00 20m Talk		Highest-performance Stream Processing OCaml Oleg Kiselyov Tohoku University, Japan, Tomoaki Kobayashi Tohoku University, Aggelos Biboudis Oracle, Nick Palladinos Nessos Information Technologies, SA Pre-print
16:20 20m Talk		Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml OCaml Haochen M. Kotoi-Xie Kotoi-Xie Consultancy, Inc., Hirotetsu Hongo Kotoi-Xie Consultancy, Inc., Yuta Sato Kotoi-Xie Consultancy, Inc., Shinya Yamaguchi Kotoi-Xie Consultancy, Inc. File Attached
16:50 20m Talk		Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding OCaml Artur Miguel Dias NOVA University of Lisbon and NOVA LINCS, Simão Melo de Sousa Universidade da Beira Interior and NOVA LINCS, António Ravara NOVA LINCS & FCT, NOVA University of Lisbon Pre-print
17:10 20m Talk		OCamello: A Course and Summer School with Learn-OCaml OCaml Roberto Blanco Max Planck Institute for Security and Privacy (MPI-SP), Ricardo J. Rodríguez University of Zaragoza File Attached

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

OCaml 2022 Program

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tracks

Workshops

Co-hosted Symposia

OCaml 2022 Program

Switch Program View

Program Display Configuration

Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Get Calendar (iCal)

Information for Participants

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change