BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Picos — Interoperable effects based concurrency for OCaml - Vesa
  Karvonen\, Tarides
DTSTART:20240620T140000Z
DTEND:20240620T150000Z
UID:TALK218308@talks.cam.ac.uk
CONTACT:Ryan Gibb
DESCRIPTION:OCaml 5 added support both for parallelism and for programming
  with effects\, which allows\, among other things\, the implementation of 
 direct-style cooperative concurrency. Indeed\, multiple effects based conc
 urrent programming libraries have already been developed\, including Affec
 t\, Domainslib\, Eio\, Fuseau\, Miou\, Moonpool\, and Riot and others. All
  of these libraries are mutually incompatible with each other. A program w
 ritten to use Domainslib's work-stealing scheduler cannot just directly us
 e the asynchronous I/O APIs provided by Eio\, for example. The services pr
 ovided by a scheduler are vital to many kinds of libraries and this incomp
 atibility between schedulers leads to various technical\, economical\, and
  social problems.\n\nPicos is an ongoing project to address this problem b
 y defining an interface between effects based schedulers and concurrent ab
 stractions. Perhaps an enlightening analogy is to say that Picos is the PO
 SIX of effects based schedulers. Picos is designed to enable an ecosystem 
 of interoperable elements of effects based cooperative concurrent programm
 ing models such as schedulers\, mechanisms for structuring concurrency\, c
 ommunication and synchronization primitives\, and integrations with asynch
 ronous I/O systems.
LOCATION:FW26 and https://meet.jit.si/cambridge-cl-srg-seminar
END:VEVENT
END:VCALENDAR