EN FR
EN FR


Section: Partnerships and Cooperations

National Initiatives

  • REVER (Programming Reversible Recoverable Systems) is an ANR project that started on 1st December 2011 and with a 4-year 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.

  • PACE (Processus non-standard: Analyse, Coinduction, et Expressivité) is an ANR project that 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.

  • ELICA (Expanding Logical Ideas for Complexity Analysis) is an ANR project which started on October 2014 and that we will finish on September 2018. ELICA is a project about methodologies for the static analysis of programs as for their resource consumption. The project's aim is to further improve on logical methodologies for complexity analysis (type systems, rewriting, etc.). More specifically, one would like to have more powerful techniques with less false negatives, being able at the same time to deal with nonstandard programming paradigms (concurrent, probabilistic, etc.). Main persons involved: Avanzini, Cappai, Dal Lago, Hirschkoff, Martini, Sangiorgi.