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: Zavattaro, Sangiorgi.

  • 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.

    This project has been presented during a poster session at the “journées scientifiques de l'INRIA” in Paris, November 2011.

  • S. Martini, U. Dal Lago, M. Gaboardi, and D. Sangiorgi are involved in the CNRS PICS 2010 (“International Projects for Scientific Cooperation”) project “Linear Logic and applications”.

  • REVER (Programming Reversible Recoverable Systems) is an ANR project starting 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: Lanese, Laneve, Zavattaro.