Section: Partnerships and Cooperations

National Initiatives

• AEOLUS (Mastering the Cloud Complexity) is an ANR-ARPEGE project started on December 2010 that will finish on December 2014. AEOLUS studies the problem of installation, maintenance and update of package-based software distributions in cloud-based distributed systems. The problem consists of representing the dependencies of packages and the inter-relationships among the services, in such a way that starting from a declarative description of the application to be deployed on the cloud, it is possible to automatically compute the resources (ie. virtual machines) to be acquired, and the allocation of such resources to the software services needed to run the application. Main persons involved: Gabbrielli, Lascu, Mauro, Sangiorgi, Zavattaro.

• REVER (Programming Reversible Recoverable Systems) is an ANR project that started on 1st December 2011 and with a 48-month duration. REVER aims to study the possibility of defining semantically well-founded and composable abstractions for dependable computing on the basis of a reversible programming language substrate, where reversibility means the ability to undo any distributed program execution, possibly step by step. The critical assumption behind REVER is that by adopting a reversible model of computation, and by combining it with appropriate notions of compensation and modularity, one can develop systematic and composable abstractions for recoverable and dependable systems. Main persons involved: Giachino, Lienhardt, Lanese, Laneve, Zavattaro.

• The ANR project PACE (Processus non-standard: Analyse, Coinduction, et Expressivité) has started in 2013. The project targets three fundamental ingredients in theories of concurrent processes, namely coinduction, expressiveness, and analysis techniques. The project aims at processes that are beyond the realm of "traditional" processes. Specifically, the models studied exhibit one or more of the following features: probabilities, higher-order, quantum, constraints, knowledge, and confidentiality. These models are becoming increasingly more important for today's applications. Coinduction is intended to play a pivotal role. Indeed, the approaches to expressiveness and the analysis techniques considered in the project are based on coinductive equalities. Main persons involved: Hirschkoff (project coordinator), Dal Lago, Lanese, Sangiorgi, Zavattaro.