ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / Distributed Actors in OCaml
Distributed Actors in OCamlremote
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 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | |||
14:00 22mTalk | Picos — Interoperable effects based concurrency OCaml Vesa Karvonen Tarides Pre-print File Attached | ||
14:22 22mTalk | 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 22mTalk | Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCamlin-person OCaml Stefan K. Muller Illinois Institute of Technology Pre-print File Attached | ||
15:07 22mTalk | Saturn: a library of verified concurrent data structures for OCaml 5in-person OCaml Pre-print File Attached |