PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 17:20 - 17:40 at Finland - Libraries Chair(s): Marco Peressotti

Mon 24 Jun

Displayed time zone: Windhoek change

16:00 - 17:40
LibrariesCP at Finland
Chair(s): Marco Peressotti University of Southern Denmark
16:00
20m
Talk
ChoRus: Library-Level Choreographic Programming in Rust
CP
Shun Kashiwa University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz
Pre-print Media Attached
16:20
20m
Talk
Klor: Choreographies for the Working Clojurian
CP
Lovro Lugović University of Southern Denmark, Sung-Shik Jongmans Open University of the Netherlands; CWI
Media Attached
16:40
20m
Talk
Suki: Choreographed Distributed Dataflow in Rust
CP
Shadaj Laddad University of California at Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein UC Berkeley
Pre-print Media Attached
17:00
20m
Talk
Toward Verified Library-Level Choreographic Programming with Algebraic Effects
CP
Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California, Santa Cruz
Pre-print Media Attached
17:20
20m
Day closing
Closing
CP
Lindsey Kuper University of California, Santa Cruz, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Marco Peressotti University of Southern Denmark