PLDI 2024 (series) / CP 2024 (series) / Choreographic Programming 2024 /
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
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 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
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 |