17 citations · 30 across the 4 of their papers we have counts for
5 papers
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…
Insider Threats in Emerging Mobility-as-a-Service Scenarios
Franco Callegati, Saverio Giallorenzo, Andrea Melis +1
Mobility as a Service (MaaS) applies the everything-as-a-service paradigm of Cloud Computing to transportation: a MaaS provider offers to its users the dynamic composition of solut…
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…
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo +2
Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We…