ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / Saturn: a library of verified concurrent data structures for OCaml 5
Saturn: a library of verified concurrent data structures for OCaml 5in-person
Sat 7 Sep 2024 15:07 - 15:30 at Orange 2 - OCaml 5: progress in the multicore world Chair(s): Ambre Austen Suhamy
We present Saturn, a new OCaml 5 library available on opam. Saturn offers a collection of efficient concurrent data structures: stack, queue, skiplist, hash table, work-stealing deque, etc. It is well tested, benchmarked and in part formally verified.
| Paper (ocaml2024-final14.pdf) | 308KiB |
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 | ||