PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 14:40 - 15:00 at Finland - Languages & Verification Chair(s): Lindsey Kuper

Choreographic programming is becoming complex. To remain useful, choreography languages will need to accrete features like process polymorphism, fully out-of-order execution, and dynamic topologies—but many of these features increase the burden on the programmer and the compiler writer. In an effort to simplify choreographies without hampering expressivity, we present poroutines (partial order routines). Poroutines resemble choreographies, but they omit communication and data locality—leaving both to be handled under the hood by the compiler. In this talk, we briefly describe Poutine: a prototype compiler that adds poroutines to Scala 3. A key insight in Poutine is that choreographies can be used as an intermediate representation; we survey several novel opportunities for compiler optimization that this presents.

Mon 24 Jun

Displayed time zone: Windhoek change

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