Projet : PARA

previous up next contents
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)