38 citations · 94 across the 26 of their papers we have counts for
28 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,…
Portable and Secure CI/CD for COBOL: Lessons from an Industrial Migration
Andreas Askholm, Kenneth Johnsen, Jacopo Mauro
Continuous integration and delivery (CI/CD) pipelines are critical for sustaining the evolution of large software systems. In regulated industries with legacy technologies, however…
GitOps for Capture the Flag Platforms
Mikkel Bengtson Albrechtsen, Jacopo Mauro, Torben Worm
In this paper, we present CTF Pilot, a GitOps-based framework for the deployment and management of Capture The Flag (CTF) competitions. By leveraging Git repositories as the single…
When Words Change the Model: Sensitivity of LLMs for Constraint Programming Modelling
Alessio Pellegrino, Jacopo Mauro
One of the long-standing goals in optimisation and constraint programming is to describe a problem in natural language and automatically obtain an executable, efficient model. Larg…
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…
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…
On the evaluation of (meta-)solver approaches
Roberto Amadini, Maurizio Gabbrielli, Tong Liu +1
Meta-solver approaches exploits a number of individual solvers to potentially build a better solver. To assess the performance of meta-solvers, one can simply adopt the metrics typ…
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…
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…
Wandering and getting lost: the architecture of an app activating local communities on dementia issues
Nicklas Sindlev Andersen, Marco Chiarandini, Jacopo Mauro
We describe the architecture of Sammen Om Demens (SOD), an application for portable devices aiming at helping persons with dementia when wandering and getting lost through the invo…
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…
sunny-as2: Enhancing SUNNY for Algorithm Selection
Tong Liu, Roberto Amadini, Jacopo Mauro +1
SUNNY is an Algorithm Selection (AS) technique originally tailored for Constraint Programming (CP). SUNNY enables to schedule, from a portfolio of solvers, a subset of solvers to b…
Anomaly detection in Context-aware Feature Models
Jacopo Mauro
Feature Models are a mechanism to organize the configuration space and facilitate the construction of software variants by describing configuration options using features, i.e., a…
Lazy Product Discovery in Huge Configuration Spaces
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen +1
Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a val…
Optimal and Automated Deployment for Microservices
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro +2
Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper…
SUNNY-CP and the MiniZinc Challenge
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significant…
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…
A Multicore Tool for Constraint Solving
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Opt…