17 citations · 33 across the 4 of their papers we have counts for
4 papers
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…
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…
Decidability properties for fragments of CHR
Maurizio Gabbrielli abd Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
We study the decidability of termination for two CHR dialects which, similarly to the Datalog like languages, are defined by using a signature which does not allow function symbols…