Program - PLDI 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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 10m Day 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 60m Keynote		Choreographic Programming: its essence, beauty, and necessity CP K: Fabrizio Montesi University of Southern Denmark Media Attached

10:40 - 12:20	Theory & VerificationCP at Finland Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA

10:40 20m Talk		A Propositional Dynamic Logic for Choreographies CP Matteo Acclavio University of Sussex, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark Pre-print Media Attached File Attached
11:00 20m Talk		Choreographic Programming in Modal Type Theory CP Maxim Urschumzew None, Miëtek Bak Media Attached
11:20 20m Talk		Choreographies meet Communication Failures CP Eva Graversen University of Southern Denmark, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark Media Attached
11:40 20m Talk		Corps: A Core Calculus of Hierarchical Choreographic Programming CP Andrew K. Hirsch University at Buffalo, SUNY Pre-print Media Attached File Attached
12:00 20m Talk		Masquerade: Information Flow Control for Choreographies CP Michael Piskozub University at Buffalo, SUNY, Ethan Cecchetti University of Wisconsin-Madison, Andrew K. Hirsch University at Buffalo, SUNY

13:40 - 15:20	Languages & VerificationCP at Finland Chair(s): Lindsey Kuper University of California, Santa Cruz

13:40 20m Talk		A Probabilistic Choreography Language for PRISM CP Marco Carbone IT University of Copenhagen, Adele Veschetti Technische Universität Darmstadt Media Attached
14:00 20m Talk		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 20m Talk		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 20m Talk		Poroutines: The Essence of Choreographic Programming? CP Dan Plyukhin University of Southern Denmark
15:00 20m Talk		We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values CP Mako P. Bates University of Vermont, Joseph P. Near University of Vermont Pre-print Media Attached

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

CP 2024 Program

Mon 24 Jun
Displayed time zone: Windhoek change

Tracks

Co-hosted Conferences

Workshops

CP 2024 Program

Switch Program View

Program Display Configuration

Mon 24 JunDisplayed time zone: Windhoek change

Get Calendar (iCal)

Mon 24 Jun
Displayed time zone: Windhoek change