31 citations · 106 across the 28 of their papers we have counts for
12 papers · 1 filter
Adaptable TeaStore: A Choreographic Approach
Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese +1
The Adaptable TeaStore has recently been proposed as a reference model for adaptable microservice architectures. It includes different configurations, as well as scenarios requirin…
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
Session types are abstractions of communication protocols enabling the static analysis of message-passing processes. Refinement notions for session types are key to support safe fo…
Fair Termination of Asynchronous Binary Sessions
Luca Padovani, Gianluigi Zavattaro
We study a theory of asynchronous session types ensuring that well-typed processes terminate under a suitable fairness assumption. Fair termination entails starvation freedom and o…
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro +2
Choreographic Programming (CP) is a language paradigm whereby software artefacts, called choreographies, specify the behaviour of communicating participants. CP is famous for its c…
Serverless Scheduling Policies based on Cost Analysis
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve +3
Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such p…
A Session Subtyping Tool (Extended Version)
Lorenzo Bacchiani, Mario Bravetti, Julien Lange +1
Session types are becoming popular and have been integrated in several mainstream programming languages. Nevertheless, while many programming languages consider asynchronous fifo c…