Section: Partnerships and Cooperations

National Initiatives

• AEOLUS (Mastering the Cloud Complexity) is an ANR-ARPEGE project started on 1st December 2010 and with a 40-month duration. 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 distribution and the dependencies of packages, in such a way that modification plans can be (semi)automatically synthesized when packages should be updated or the system should be reconfigured. Main persons involved: Gabbrielli, Mauro, Sangiorgi, Zavattaro.

• ETERNAL (Interactive Resource Analysis) is an Inria-ARC project which started on January 1st, 2011 and will end on December 31st, 2012. ETERNAL aims at putting together ideas from Implicit Computational Complexity and Interactive Theorem Proving, in order to develop new methodologies for handling quantitative properties related to program resource consumption, like execution time and space. People involved: Dal Lago, Gaboardi, Martini, Petit.

• 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 been recently accepted but will start only 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.