Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

National Initiatives

ANR Projects

REVER (ANR project)

Participant : Jean-Bernard Stefani.

The Rever project aims to develop semantically well-founded and composable abstractions for dependable distributed computing on the basis of a reversible programming model, where reversibility means the ability to undo any program execution and to revert it to a state consistent with the past execution. The critical assumption behind Rever is that by combining reversibility with notions of compensation and modularity, one can develop systematic and composable abstractions for dependable programming.

The Rever work program is articulated around three major objectives:

The project partners are Inria (Focus and Spades teams), Université de Paris VII (PPS laboratory), and CEA (List laboratory). The project ended in November 2015.