PLDI 2024 (series) / CP 2024 (series) /
CP 2024 Program
This is the CP 2024 program - see the full program for PLDI 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 24 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | Welcome and KeynoteCP at Finland Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Lindsey Kuper University of California, Santa Cruz, Marco Peressotti University of Southern Denmark | ||
09:00 10mDay opening | Opening CP Lindsey Kuper University of California, Santa Cruz, Marco Peressotti University of Southern Denmark, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA | ||
09:10 60mKeynote | Choreographic Programming: its essence, beauty, and necessity CP Media Attached |
13:40 - 15:20 | |||
13:40 20mTalk | A Probabilistic Choreography Language for PRISM CP Media Attached | ||
14:00 20mTalk | A Function-as-a-Service Choreographic Programming Language: Examples and Applications CP Giuseppe De Palma Department of Computer Science and Engineering - Università di Bologna, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Jacopo Mauro University of Southern Denmark, Matteo Trentin Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna Pre-print | ||
14:20 20mTalk | Exploring Algebraic Placement in Multiparty Languages CP George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen Pre-print Media Attached | ||
14:40 20mTalk | Poroutines: The Essence of Choreographic Programming? CP Dan Plyukhin University of Southern Denmark | ||
15:00 20mTalk | We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values CP Pre-print Media Attached |
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 |