Program - ICFP 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Session 1OCaml at Grand Crescent Chair(s): Benoît Montagu Inria

09:00 22m Talk		Eio 1.0 – Effects-based IO for OCaml 5 OCaml Thomas Leonard Tarides, Patrick Ferris University of Cambridge, UK, Christiano Haesbaert Tarides, Lucas Pluvinage Tarides, Vesa Karvonen Tarides, Sudha Parimala Tarides, KC Sivaramakrishnan IIT Madras and Tarides, Vincent Balat Tarides, Anil Madhavapeddy University of Cambridge, UK File Attached
09:22 22m Talk		Modern DSL compiler architecture in OCaml our experience with CatalaRemote OCaml Louis Gesbert INRIA, Denis Merigoux INRIA File Attached
09:45 22m Talk		Runtime Detection of Data Races in OCaml with ThreadSanitizerRemote OCaml Olivier Nicole Tarides, Fabrice Buoro Tarides File Attached
10:07 22m Talk		Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the codeRemote OCaml Edwin Török XenServer, Cloud Software Group File Attached

11:00 - 12:30	Session 2OCaml at Grand Crescent Chair(s): Chris Casinghino Jane Street

11:00 22m Talk		Efficient OCaml compilation with Flambda 2 OCaml Pierre Chambart OCamlPRO, Vincent LAVIRON OCamlPro, Mark Shinwell Jane Street File Attached
11:22 22m Talk		Less Power for More Learning: Restricting OCaml Features for Effective TeachingRemote OCaml Max Lang Technische Universität München, Nico Petzendorfer Department of Computer Science, Technische Universität München, Garching, Germany File Attached
11:45 22m Talk		Osiris: an Iris-based program logic for OCamlRemote OCaml Arnaud Daby-Seesaram ENS Paris Saclay, François Pottier Inria, Armaël Guéneau Inria File Attached
12:07 22m Talk		Safe and efficient generic functions with MacoCaml OCaml Dmitrij Szamozvancev University of Cambridge, Leo White Jane Street, Ningning Xie University of Toronto / Google DeepMind, Jeremy Yallop University of Cambridge File Attached

14:00 - 15:30	Session 3OCaml at Grand Crescent Chair(s): Jacques Garrigue Nagoya University

14:00 22m Talk		Buck2 for OCaml Users & DevelopersRemoteHybrid In-Person OCaml Shayne Fletcher Meta, Neil Mitchell Meta File Attached
14:22 22m Talk		Building a lock-free STM for OCaml OCaml Vesa Karvonen Tarides, Bartosz Modelski Tarides, Carine Morel Tarides, Thomas Leonard Tarides, KC Sivaramakrishnan IIT Madras and Tarides, YSS Narasimha Naidu IIT Madras, Sudha Parimala Tarides Link to publication File Attached
14:45 22m Talk		Parallel Sequences in Multicore OCamlRemote OCaml Andrew Tao Princeton University File Attached
15:07 22m Talk		State of the OCaml Platform 2023 OCaml Thibaut Mattio Tarides, Anil Madhavapeddy University of Cambridge, UK, Thomas Gazagnaire Tarides, David Allsopp Tarides File Attached

16:00 - 17:30	Session 4OCaml at Grand Crescent Chair(s): Jeremy Yallop University of Cambridge

16:00 20m Talk		MetaOCaml Theory and Implementation OCaml Oleg Kiselyov Tohoku University File Attached
16:25 20m Talk		Owi: an interpreter and a toolkit for WebAssembly written in OCaml OCaml Léo Andrès LMF, OCamlPro, Pierre Chambart OCamlPRO, Eric Patrizio OCamlPro, Dario Pinto OCamlPro File Attached

OCaml 2023 Program

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Workshops

Co-hosted Symposia

OCaml 2023 Program

Switch Program View

Program Display Configuration

Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change