ICFP 2022
Sun 11 - Fri 16 September 2022
Ljubljana, Slovenia
Toggle navigation
Attending
Conference Center: Cankarjev Dom
Call For Sponsorship
Travel Information
Local Information
Accommodation and Visas
Registration
Accessibility
Code of Conduct
Virtual participation
Instructions for speakers
Program
ICFP Program
Your Program
Sun 11 Sep
Mon 12 Sep
Tue 13 Sep
Wed 14 Sep
Thu 15 Sep
Fri 16 Sep
Tracks
ICFP 2022
ICFP Papers and Events
Artifact Evaluation
Student Research Competition
ICFP Programming Contest
Tutorials
Student Volunteers
Workshops
Erlang
FARM
FHPNC
FUNARCH
HIW
HOPE
ML
OCaml
PLMW @ ICFP
PLanQC
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2022 Committees
Organizing Committee
Steering Committee
Virtualization Committee
Track Committees
ICFP Papers and Events
Artifact Evaluation
Student Research Competition
Tutorials
Student Volunteers
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
FUNARCH
Program Committee
HIW
Program Committee
HOPE
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Program Committee
PLMW @ ICFP
Organizing Committee
PLanQC
Organizing Committee
Program Committee
Scheme
Organizing Committee
Program Committee
TyDe
Organization Committee
Program Committee
miniKanren
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2022
(
series
) /
Cankarjev Dom
/
Room information: Štih
Venue
Cankarjev Dom
Room name
Štih
Capacity
150
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Prague
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
Language Design
ML
at
Štih
Chair(s):
Benoît Montagu
Inria
09:00
50m
Keynote
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 Syntax
Virtual
ML
Lionel Parreaux
The Hong Kong University of Science and Technology (HKUST)
Pre-print
File Attached
11:00 - 12:30
Implementation of Functional Languages
ML
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
Guillaume Munch-Maccagnoni
INRIA
,
Gabriel Scherer
INRIA Saclay
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
14:00 - 15:30
Tools & Metaprogramming
ML
at
Štih
Chair(s):
Ningning Xie
University of Toronto
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
File Attached
14:40
20m
Talk
An OCaml use case for strong call-by-need reduction
ML
Gabriel Scherer
INRIA Saclay
,
Nathanaëlle Courant
INRIA
15:00
20m
Talk
Do Mutable Variables Have Reference Types?
ML
Oleg Kiselyov
Tohoku University, Japan
Pre-print
16:00 - 17:30
Verification
ML
at
Štih
Chair(s):
Stephen Dolan
Jane Street
16:00
20m
Talk
Interpreting OCaml GADTs into Coq
ML
Jacques Garrigue
Nagoya University
,
Takafumi Saikawa
Nagoya University
Pre-print
Media Attached
File Attached
16:20
20m
Talk
Extraction to OCaml from Coq: Operational Correctness Verified in Coq
ML
Yannick Forster
Inria
,
Matthieu Sozeau
Inria
,
Pierre Giraud
Inria, Team Gallinette
,
Pierre-Marie Pédrot
INRIA
,
Nicolas Tabareau
Inria
File Attached
16:40
20m
Talk
Verify, but test: extracting property-based tests from F* specifications
ML
Antonio Locascio
Nomadic Labs
,
Germán Andrés Delbianco
Nomadic Labs
,
Marco Stronati
Nomadic Labs
File Attached
Fri 16 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
Keynote
Erlang
at
Štih
09:00
15m
Day opening
Welcome to the Erlang Workshop
Erlang
Burcu Kulahcioglu Ozkan
Delft University of Technology
,
Stavros Aronis
Erlang Solutions, Sweden
09:15
75m
Keynote
eqWAlizer - Scaling Erlang development at WhatsApp with static typing
Erlang
Ilya Klyuchnikov
11:00 - 12:30
Performance
OCaml
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 Events
Virtual
OCaml
Sadiq Jaffer
Tarides and University of Cambridge
,
Patrick Ferris
Tarides
Pre-print
14:00 - 15:30
Tools
OCaml
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
16:00 - 17:30
Applications & Teaching
OCaml
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
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Štih
ML
Language Design
ML
Implementation of Functional Languages
ML
Tools & Metaprogramming
ML
Verification
Fri 16 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Štih
Erlang
Keynote
OCaml
Performance
OCaml
Tools
OCaml
Applications & Teaching
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Štih
ML
Keynote: Efficient and Scalable Parallel Functional Programming Through ...
09:00 - 09:50
ML
Towards Algebraic Subtyping for Extensible Records
09:50 - 10:10
ML
Virtual
The Ultimate Conditional Syntax
10:10 - 10:30
ML
A New Match Compiler for Standard ML of New Jersey
11:00 - 11:20
ML
Boxroot, fast movable GC roots for a better FFI
11:20 - 11:40
ML
Unboxed types for OCaml
11:40 - 12:00
ML
What About the Integer Numbers?
12:00 - 12:20
ML
Necro ML: Generating OCaml Interpreters
14:00 - 14:20
ML
Module Shapes for Modern Tooling
14:20 - 14:40
ML
An OCaml use case for strong call-by-need reduction
14:40 - 15:00
ML
Do Mutable Variables Have Reference Types?
15:00 - 15:20
ML
Interpreting OCaml GADTs into Coq
16:00 - 16:20
ML
Extraction to OCaml from Coq: Operational Correctness Verified in Coq
16:20 - 16:40
ML
Verify, but test: extracting property-based tests from F* specifications
16:40 - 17:00
Fri 16 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Štih
Erlang
Welcome to the Erlang Workshop
09:00 - 09:15
Erlang
eqWAlizer - Scaling Erlang development at WhatsApp with static typing
09:15 - 10:30
OCaml
Efficient “out of heap” pointers for multicore OCaml
11:00 - 11:20
OCaml
Memo: an incremental computation library that powers Dune
11:20 - 11:40
OCaml
Stack allocation for OCaml
11:50 - 12:10
OCaml
Virtual
Continuous Monitoring of OCaml Applications using Runtime Events
12:10 - 12:30
OCaml
Homogeneous builds with OBuilder and OCaml
14:00 - 14:20
OCaml
Tracing OCaml Programs
14:20 - 14:40
OCaml
Supporting a decade of opam
14:50 - 15:10
OCaml
Copying opam switches – it should Just Work™
15:10 - 15:30
OCaml
Highest-performance Stream Processing
16:00 - 16:20
OCaml
Introducing the Bindoj library, a datatype-centric generative programmi ...
16:20 - 16:40
OCaml
Supporting FLAT concepts in Learn-OCaml: seeing is believing, programmi ...
16:50 - 17:10
OCaml
OCamello: A Course and Summer School with Learn-OCaml
17:10 - 17:30
x
Mon 30 Dec 17:01