31 citations · 106 across the 28 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…
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…
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
Session types are abstractions of communication protocols enabling the static analysis of message-passing processes. Refinement notions for session types are key to support safe fo…
Decidability Problems for Micro-Stipula
Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier +1
Micro-Stipula is a stateful calculus in which clauses can be activated either through interactions with the external environment or by the evaluation of time expressions. Despite t…
Fair Termination of Asynchronous Binary Sessions
Luca Padovani, Gianluigi Zavattaro
We study a theory of asynchronous session types ensuring that well-typed processes terminate under a suitable fairness assumption. Fair termination entails starvation freedom and o…