PLDI 2024 (series) / CP 2024 (series) / Choreographic Programming 2024 /
Klor: Choreographies for the Working Clojurian
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 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
16:00 - 17:40 | |||
16:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mDay 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 |