ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / Picos — Interoperable effects based concurrency
Picos — Interoperable effects based concurrencyin-person
Sat 7 Sep 2024 14:00 - 14:22 at Orange 2 - OCaml 5: progress in the multicore world Chair(s): Ambre Austen Suhamy
Picos is an ongoing project to define an interface between effects based schedulers and concurrent abstractions. Perhaps an enlightening analogy is to say that Picos is the POSIX of effects based schedulers. Picos is designed to enable an ecosystem of interoperable elements of effects based cooperative concurrent programming models such as schedulers, mechanisms for structuring concurrency, communication and synchronization primitives, and integrations with asynchronous I/O systems.
Paper (ocaml2024-final18.pdf) | 339KiB |
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 | OCaml 5: progress in the multicore worldOCaml at Orange 2 Chair(s): Ambre Austen Suhamy Tarides Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
14:00 22mTalk | Picos — Interoperable effects based concurrencyin-person OCaml Vesa Karvonen Tarides 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 File Attached | ||
14:45 22mTalk | Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCamlin-person OCaml Stefan K. Muller Illinois Institute of Technology File Attached | ||
15:07 22mTalk | Saturn: a library of verified concurrent data structures for OCaml 5in-person OCaml File Attached |