ICFP 2022 (series) / ML 2022 (series) /
ML 2022 Program
This is the ML 2022 program - see the full program for ICFP 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 60mRegistration | Registration Catering & social |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 50mRegistration | Registration Catering & social |
08:50 - 09:00 | |||
08:50 10mDay opening | Welcome Catering & social |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
19:00 - 20:00 | |||
19:00 60mSocial Event | Guided tour of Ljubljana Catering & social |
20:00 - 22:00 | |||
20:00 2hSocial Event | Reception & SRC poster presentation Catering & social |
Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 60mRegistration | Registration Catering & social |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mSocial 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 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
18:30 - 21:00 | |||
18:30 2h30mDinner | Women@ICFP Catering & social |
Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 60mRegistration | Registration Catering & social |
10:00 - 10:30 | |||
10:00 30mSocial 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 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social |
09:00 - 10:30 | |||
09:00 50mKeynote | Keynote: Efficient and Scalable Parallel Functional Programming Through Disentanglement ML Sam Westrick Carnegie Mellon University | ||
09:50 20mTalk | 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 20mTalk | The Ultimate Conditional SyntaxVirtual ML Lionel Parreaux The Hong Kong University of Science and Technology (HKUST) Pre-print File Attached |
10:30 - 11:00 | |||
10:30 30mCoffee 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 20mTalk | A New Match Compiler for Standard ML of New Jersey ML David MacQueen University of Chicago (Emeritus) File Attached | ||
11:20 20mTalk | Boxroot, fast movable GC roots for a better FFI ML Pre-print | ||
11:40 20mTalk | Unboxed types for OCaml ML | ||
12:00 20mTalk | What About the Integer Numbers? ML Daan Leijen Microsoft Research Link to publication File Attached |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
14:00 - 15:30 | |||
14:00 20mTalk | Necro ML: Generating OCaml Interpreters ML Pre-print File Attached | ||
14:20 20mTalk | Module Shapes for Modern Tooling ML File Attached | ||
14:40 20mTalk | An OCaml use case for strong call-by-need reduction ML | ||
15:00 20mTalk | Do Mutable Variables Have Reference Types? ML Oleg Kiselyov Tohoku University, Japan Pre-print |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
16:00 - 17:30 | |||
16:00 20mTalk | Interpreting OCaml GADTs into Coq ML Pre-print Media Attached File Attached | ||
16:20 20mTalk | 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 20mTalk | Verify, but test: extracting property-based tests from F* specifications ML File Attached |
17:30 - 20:00 | |||
17:30 2h30mSocial Event | Industrial reception Catering & social |
Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
12:30 - 14:00 | |||
12:30 90mSocial Event | OCaml Industry Lunch Catering & social |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
15:30 - 16:00 | |||
15:30 30mCoffee 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 2hSocial Event | OCaml & farewell reception Catering & social |