Poroutines: The Essence of Choreographic Programming?
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 JunDisplayed 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 |