Projet : PARA

Précédent : Actions européennes Remonter : Actions régionales, nationales et internationales Suivant : Accueils de chercheurs étrangers

   
Collaboration avec Compaq, Systems Research Center

C. Fournet ont passé une semaine à Palo Alto en août, sur l'invitation de M. Abadi (Compaq Systems Research Center), avec qui ils ont poursuivi leurs travaux sur les preuves de sécurité.

D. Doligez a commencé un travail de 6 mois à Palo Alto en novembre pour prouver la cohérence d'un système de cache asynchrone du processeur EV7 (nouvelle génération du processeur Alpha). Ce travail est conjoint avec L. Lamport (Compaq SRC)