img-logo-Inria img-header-GPL-2012

Les journées GDR - GPL 2012

(Groupe de recherche - Génie de la programmation du Logiciel)

Ces journées se sont déroulées à l'espace conférences du centre Inria Rennes - Bretagne Atlantique, du 18 au 23 juin 2012.

Discours d'accueil

Lors de l'ouverture de ces journées, mercredi 20 juin 2012, Bertrand Braunschweig, directeur du centre Inria Rennes - Bretagne Atlantique, Jean-Marc Jézéquel, directeur de l'UMR Irisa, Laurence Duchien, directrice du GDR-GDL, et Olivier Barais, président du comité d'organisation des journées GDR-GPL, ont prononcé respectivement un discours de bienvenue en insistant sur l'importance scientifique de ces travaux.

Get the Flash Player to see this player.
Durée: 28:07 - Jean-Marc Jézéquel intervient à 6:43 - Laurence Duchien à 13:02 et Olivier Barais 25:18

The scientific conference

Towards reversible languages and systems

img-orateur-JB-Stefani Jean-Bernard Stefani

Jean-Bernard.Stefani@inrialpes.fr

Directeur scientifique du Projet Sardes

Inria Rhône-Alpes

img-logo-pdf slides of the talk (pdf)

Présentation de Jean-Bernard Stefani par Alan Schmitt, chercheur au sein du projet Celtique, - UMR-Irisa (durée: 3mn15)

Get the Flash Player to see this player.

The talk

Get the Flash Player to see this player.
Get the Flash Player to see this player.
Introduction [13:20]
The case of reversibility [12:00]
Get the Flash Player to see this player.
Get the Flash Player to see this player.
 
A small reversible concurrent language [32:31]
Adding rollback and compensations [13:44]
Get the Flash Player to see this player.
Get the Flash Player to see this player.
 
An abstract machine for a reversible concurrent language [2:51]
Perspectives [2:26]
Get the Flash Player to see this player.
 
Questions (time: 2:18 - Question n°2 : 1:18)
 

© 2012 INRIA-Rennes-Bretagne Atlantique