Eio 1.0 – Effects-based IO for OCaml 5 (OCaml 2023 - OCaml Users and Developers Workshop 2023)

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Who

Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat, Anil Madhavapeddy

Track

OCaml 2023

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

When

Sat 9 Sep 2023 09:00 - 09:22 at Grand Crescent - Session 1 Chair(s): Benoît Montagu

Abstract

Eio provides an effects-based direct-style IO stack for OCaml 5. This talk introduces Eio’s main features, such as use of effects, multi-core support and lock-free data-structures, support for modular programming, interoperability with other concurrency libraries such as Lwt, Async and Domainslib, and interactive monitoring support enabled by the custom runtime events in OCaml 5.1. We will report on our experiences porting existing applications to Eio.

File attachments

(icfp23-ocaml-paper5.pdf)	132KiB
Slides (slides.pdf)	146KiB

Thomas Leonard

Tarides

Patrick Ferris

University of Cambridge, UK

United Kingdom

Christiano Haesbaert

Tarides

Lucas Pluvinage

Tarides

France

Vesa Karvonen

Tarides

Sudha Parimala

Tarides

India

KC Sivaramakrishnan

IIT Madras and Tarides

India

Vincent Balat

Tarides

Anil Madhavapeddy

University of Cambridge, UK

United Kingdom

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

Display full programSpecify a time band

Save

Session Program

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