38 citations · 81 across the 29 of their papers we have counts for
10 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…
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…
On the Monitorability of Session Types, in Theory and Practice (Extended Version)
Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
In concurrent and distributed systems, software components are expected to communicate according to predetermined protocols and APIs - and if a component does not observe them, the…
Choral: Object-Oriented Choreographic Programming
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
We present Choral, the first choreographic programming language based on mainstream abstractions. The key idea in Choral is a new notion of data type, which allows for expressing t…
No more, no less - A formal model for serverless computing
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese +3
Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design appl…
Ephemeral Data Handling in Microservices - Technical Report
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina +1
In modern application areas for software systems --- like eHealth, the Internet-of-Things, and Edge Computing --- data is encoded in heterogeneous, tree-shaped data-formats, it mus…
Dynamic Choreographies: Theory And Implementation
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo +2
Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even…
Applied Choreographies
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
Choreographic Programming is a correct-by-construction paradigm where a compilation procedure synthesises deadlock-free, concurrent, and distributed communicating processes from gl…
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese +2
We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of…