ICFP 2023 (series) / OCaml 2023 (series) / OCaml Users and Developers Workshop 2023 /
Eio 1.0 – Effects-based IO for OCaml 5
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.
(icfp23-ocaml-paper5.pdf) | 132KiB |
Slides (slides.pdf) | 146KiB |
Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change
Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 22mTalk | 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 22mTalk | Modern DSL compiler architecture in OCaml our experience with CatalaRemote OCaml File Attached | ||
09:45 22mTalk | Runtime Detection of Data Races in OCaml with ThreadSanitizerRemote OCaml File Attached | ||
10:07 22mTalk | Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the codeRemote OCaml Edwin Török XenServer, Cloud Software Group File Attached |