PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Choreographic Programming

Choreographies are coordination plans for concurrent and distributed systems. A choreography defines the roles of the involved participants and how they are supposed to work together. In the emerging paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations.

CP originated primarily in the context of process calculi, with preliminary work done to establish its foundations and experiment with implementations. Recently, several proposals have shown that one can adapt CP to work in synergy with mainstream programming paradigms, such as object-oriented and functional programming. These works substantiate the interest of a growing community of researchers and practitioners in evolving CP into a mature paradigm, able to improve the productivity and reliability of programming concurrent and distributed systems.

We are very excited to launch the 1st International Workshop on Choreographic Programming (CP 2024) alongside PLDI 2024. The aim of this workshop is to catalyse the community around CP by soliciting contributions including but not limited to the following topics:

  • Theory and models of choreographic programming.
  • Design and implementation of choreographic programming languages, encompassing both standalone and library-based implementations.
  • Design and implementation of runtime systems for choreographic programming.
  • Verification and testing of choreographic programs.
  • Type systems for choreographic languages.
  • Interactions with software engineering (e.g., software requirements, design, construction, testing, analysis, and maintenance and software development methodologies).
  • Fault tolerance and reliability in the context of choreographic programming.
  • Synergies and comparisons with adjacent approaches for concurrent and distributed programming (e.g., multitier programming).

The workshop will feature an invited keynote talk from Fabrizio Montesi and contributed talks from the choreographic programming community around the world.

Keynote Talk

This program is tentative and subject to change.

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, 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
09:10
60m
Keynote
Choreographic Programming: its essence, beauty, and necessity
CP
K: Fabrizio Montesi University of Southern Denmark
10:40 - 12:20
Theory & VerificationCP at Finland
Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna
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
11:00
20m
Talk
Choreographic Programming in Modal Type Theory
CP
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
11:40
20m
Talk
Corps: A Core Calculus of Hierarchical Choreographic Programming
CP
Andrew K. Hirsch University at Buffalo, SUNY
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
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, Jacopo Mauro University of Southern Denmark, Matteo Trentin Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna
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
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
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
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
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
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
17:20
20m
Day closing
Closing
CP
Lindsey Kuper University of California, Santa Cruz, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Marco Peressotti University of Southern Denmark

Call for Talk Proposals

CP 2024 invites talk proposals in the form of extended abstracts of 2 to 6 pages (excluding references). There will not be a formal published proceedings. Authors may also optionally submit supplementary material, which reviewers may or may not be able to evaluate and examine.

Summaries of work that is already published or under submission elsewhere is welcome. We also welcome descriptions of work in progress, tutorials, and practical experience reports. The program committee will use a lightweight double-blind review process to evaluate talk proposals.

Although there won’t be a published proceedings, we recommend the use of the acmart format and acmsmall subformat, i.e., the same one-column format that PLDI submissions use.

At least one author of each accepted submission is expected to present their work at the workshop, and to be available for discussions. In case of serious problems in attending (like visa or health reasons), please immediately contact the chairs to discuss if it is possible to present remotely.