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

Since its inception, the field of choreographic programming has produced a plethora of \emph{custom choreographic languages}. Recently, more lightweight approaches that implement choreographic languages as \emph{embedded domain-specific languages (EDSLs)} have emerged, giving rise to library-level choreographic programming. However, current incarnations of library-level choreographic programming are not as featureful or ergonomic as traditional choreographic languages. Klor, our new library-level implementation of choreographies, aims to improve the status quo and deliver the practicality of an embedded choreographic language \emph{without} compromising on its features or ergonomics.

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