ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy

This program is tentative and subject to change.

Sat 7 Sep 2024 14:22 - 14:45 at Green 3 - OCaml 5: progress in the multicore world

The Actor Model is a concurrency model which prevents common concurrency issue such as low-level data races and dead- locks, making them easy to use to develop large-scale parallel or distributed applications. OCaml 5 introduced shared memory parallelism and algebraic effect handler. This provides the opportunity to investigate Actors as an easy-to-use concurrency programming model for parallel and distributed applications in OCaml. Based on the previous work for parallel Actors in OCaml, In this extended abstract, we showcase the actors-ocaml library for concurrent and parallel programming, and its recent extension to distributed applications.

Paper (ocaml2024-paper10.pdf)318KiB

This program is tentative and subject to change.

Sat 7 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
OCaml 5: progress in the multicore worldOCaml at Green 3

The session will be live-streamed, and a Discord server will be available for remote attendees. Neither requires registration.

14:00
22m
Talk
Picos — Interoperable effects based concurrency
OCaml
Pre-print File Attached
14:22
22m
Talk
Distributed Actors in OCamlremote
OCaml
Wenke DU LIP ENS Lyon, Gabriel Radanne Inria, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP
Pre-print File Attached
14:45
22m
Talk
Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCamlin-person
OCaml
Stefan K. Muller Illinois Institute of Technology
Pre-print File Attached
15:07
22m
Talk
Saturn: a library of verified concurrent data structures for OCaml 5in-person
OCaml
Pre-print File Attached