3 papers
cs.DC2020
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…
cs.PL2020
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov +4
We present a type-based analysis ensuring memory safety and object protocol completion in the Java-like language Mungo. Objects are annotated with usages, typestates-like specifica…
cs.DC2019
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…