38 citations · 81 across the 29 of their papers we have counts for
31 papers
Pod-Deployability in Kubernetes with Inter-Pod Affinity Constraints is PSPACE-Complete
Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
Kubernetes is the de-facto platform for container orchestration. Its scheduler combines resource capacities with label-based affinity and anti-affinity rules, and the interaction o…
A Kubernetes Scheduler Plugin for Cluster-Wide Placement Optimisation
Henrik Daniel Christensen, Saverio Giallorenzo, Jacopo Mauro
The default scheduler of Kubernetes, the state-of-the-art container orchestrator, uses fast, local placement decisions. Unfortunately, this design leads to resource fragmentation,…
Failure-Resilient and Carbon-Efficient Deployment of Microservices over the Cloud-Edge Continuum
Francisco Ponce, Simone Gazza, Andrea D'Iapico +9
Deploying microservice-based applications (MSAs) on heterogeneous and dynamic Cloud-Edge infrastructures requires balancing conflicting objectives, such as failure resilience, perf…
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…
Proceedings First Workshop on Adaptable Cloud Architectures
Giuseppe De Palma, Saverio Giallorenzo
This volume contains the post-proceedings of the Workshop on Adaptable Cloud Architectures (WACA 2025), held on June 20, 2025, in Lille, France, co-located with DisCoTec 2025 - 20t…
Priority Matters: Optimising Kubernetes Clusters Usage with Constraint-Based Pod Packing
Henrik Daniel Christensen, Saverio Giallorenzo, Jacopo Mauro
Distributed applications employ Kubernetes for scalable, fault-tolerant deployments over computer clusters, where application components run in groups of containers called pods. Th…
SAFARI: a Scalable Air-gapped Framework for Automated Ransomware Investigation
Tommaso Compagnucci, Franco Callegati, Saverio Giallorenzo +3
Ransomware poses a significant threat to individuals and organisations, compelling tools to investigate its behaviour and the effectiveness of mitigations. To answer this need, we…
Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs
Bianca Raimondi, Saverio Giallorenzo, Maurizio Gabbrielli
In education, the capability of generating human-like text of Large Language Models (LLMs) inspired work on how they can increase the efficiency of learning and teaching. We study…
Adaptable TeaStore
Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo +3
Modern cloud-native systems require adapting dynamically to changing operational conditions, including service outages, traffic surges, and evolving user requirements. While existi…
On the Complexity of Reachability Properties in Serverless Function Scheduling
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro +2
Functions-as-a-Service (FaaS) is a Serverless Cloud paradigm where a platform manages the execution scheduling (e.g., resource allocation, runtime environments) of stateless functi…
Affinity-aware Serverless Function Scheduling
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro +2
Functions-as-a-Service (FaaS) is a Serverless Cloud paradigm where a platform manages the scheduling (e.g., resource allocation, runtime environments) of stateless functions. Recen…
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…
FunLess: Functions-as-a-Service for Private Edge Cloud Systems
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro +2
We present FunLess, a Function-as-a-Service (FaaS) platform tailored for the private edge cloud system. FunLess responds to recent trends that advocate for extending the coverage o…
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…
Topology-aware Serverless Function-Execution Scheduling
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro +2
Cloud-edge serverless applications or serverless deployments spanning multiple regions introduce the need to govern the scheduling of functions to satisfy their functional constrai…
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti +1
We formally define and implement a translation from domain models in the LEMMA modelling framework to microservice APIs in the Jolie programming language. Our tool enables a softwa…
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…
A Mixed-method Study on Security and Privacy Practices in Danish Companies
Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk +2
Increased levels of digitalization in society expose companies to new security threats, requiring them to establish adequate security and privacy measures. Additionally, the presen…
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti +2
In the field of microservices, Model-Driven Engineering has emerged as a powerful methodology for architectural design, and new programming languages have introduced language abstr…
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo +3
In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Ma…
Microservice Interface Based Deployment Orchestration
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo +3
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component in…
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…