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

We present 𐀄λsmall, a new choreographic programming language with multiply located values. 𐀄λsmall allows multicasting to a set of parties, and the resulting value will be located at all of them. This approach enables a simple and elegant alternative to “select”: 𐀄λsmall requires that the guard for a conditional be located at all of the relevant parties. In 𐀄λsmall, checking that a choreography is well-typed suffices to show that it is deadlock-free. We present several case studies that demonstrate the use of multiply-located values to concisely encode tricky communication patterns described in previous work without the use of “select” or redundant communication.

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