Projet : PARA - para

<body bgcolor="#FFEEE0" text="#000000" link="#9944EE" vlink= "#FF0000" alink="#00FF00"> <h1 align="center">Parallélisme</h1> <p align="center"><strong>PARA<br> <br> <br> Rapport d'activité de l'année 1999<br> <br> <br> <i><a name="tex2html1" href= "/inria/organigramme/fiche_ur-rocq.fr.html" target= "_top">Rocquencourt</a></i><br> <br> <br> Thème : <a name="tex2html2" href= "/recherche/equipes/projets_theme1.fr.html" target= "_top">1c</a><br> <br> <br> <a name="tex2html3" href="/recherche/equipes/para.fr.html" target="_top">Page de présentation du projet</a> - Rapport d'activité au format <a name="tex2html4" href= "ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA1999/para.ps.gz" target="_top">PostScript</a> ou <a name="tex2html5" href= "ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA1999/para.pdf" target="_top">PDF</a></strong></p> <blockquote> Le début de 1999 a vu le départ d'Alain Deutsch dans la création de la start-up PolySpace Technologies, qui va développer et commercialiser la technologie d'analyse statique de programmes par interprétation abstraite qui avait été développée au sein du projet au cours de son intervention sur le logiciel du lanceur Ariane 502. Le projet Para va changer de responsable scientifique et de nom pour l'an 2000 ; il devient le projet Moscova (pour MObilité, Sécurité, COncurrence, Vérification et Analyse), sous la responsabilité de Georges Gonthier. </blockquote><br> <hr>  <a name="CHILD_LINKS"></a> <ul> <li> <a name="tex2html19" href="compo_mn.html" target= "main"><small>Composition de l'équipe</small></a> <ul> <li><a name="tex2html20" href= "compo_mn.html#SECTION00010100000000000000" target= "main"><small>Responsable scientifique</small></a></li> <li><a name="tex2html21" href= "compo_mn.html#SECTION00010200000000000000" target= "main"><small>Responsable permanent</small></a></li> <li><a name="tex2html22" href= "compo_mn.html#SECTION00010300000000000000" target= "main"><small>Assistante de projet</small></a></li> <li><a name="tex2html23" href= "compo_mn.html#SECTION00010400000000000000" target= "main"><small>Personnel Inria</small></a></li> <li><a name="tex2html24" href= "compo_mn.html#SECTION00010500000000000000" target= "main"><small>Conseillère scientifique</small></a></li> <li><a name="tex2html25" href= "compo_mn.html#SECTION00010600000000000000" target= "main"><small>Collaborateurs extérieurs</small></a></li> <li><a name="tex2html26" href= "compo_mn.html#SECTION00010700000000000000" target= "main"><small>Doctorants</small></a></li> <li><a name="tex2html27" href= "compo_mn.html#SECTION00010800000000000000" target= "main"><small>Stagiaires</small></a></li> </ul> </li> <li><a name="tex2html28" href="prese_mn.html" target= "main"><small>Présentation et objectifs généraux</small></a></li> <li> <a name="tex2html29" href="fonde_mn.html" target= "main"><small>Fondements scientifiques</small></a> <ul> <li><a name="tex2html30" href= "fonde_fondemjoincalcul_mn.html" target= "main"><small>Le join-calcul</small></a></li> <li><a name="tex2html31" href= "fonde_langageprogramma_mn.html" target= "main"><small>La sémantique des langages de programmation et leur compilation</small></a></li> <li><a name="tex2html32" href= "fonde_interpretr-abstr_mn.html" target= "main"><small>Interprétation abstraite</small></a></li> </ul> </li> <li><a name="tex2html33" href="domai_mn.html" target= "main"><small>Domaines d'applications</small></a></li> <li> <a name="tex2html34" href="logic_mn.html" target= "main"><small>Logiciels</small></a> <ul> <li><a name="tex2html35" href="logic_jocaml_mn.html" target="main"><small>JoCaml</small></a></li> <li><a name="tex2html36" href= "logic_join-calcul_mn.html" target="main"><small>Le join-calcul 1.04</small></a></li> <li><a name="tex2html37" href="logic_java-opt_mn.html" target="main"><small>Optimisation de l'allocation et de la synchronisation en Java</small></a></li> <li><a name="tex2html38" href="logic_gc-caml_mn.html" target="main"><small>Glaneur de cellules pour Caml et portages sur Macintosh de Objective Caml</small></a></li> <li><a name="tex2html39" href="logic_hevea_mn.html" target="main"><small>Hevea</small></a></li> <li><a name="tex2html40" href="logic_efuns_mn.html" target="main"><small>Efuns</small></a></li> </ul> </li> <li> <a name="tex2html41" href="resul_mn.html" target= "main"><small>Résultats nouveaux</small></a> <ul> <li><a name="tex2html42" href="resul_join_mn.html" target="main"><small>Le join-calcul</small></a></li> <li><a name="tex2html43" href="resul_gc_mn.html" target="main"><small>Ramasse-miettes distribués</small></a></li> <li><a name="tex2html44" href="resul_securite_mn.html" target="main"><small>Concurrence et sécurité</small></a></li> <li><a name="tex2html45" href="resul_ambients_mn.html" target="main"><small>Codage et implémentation des `ambients' dans le join-calcul</small></a></li> <li><a name="tex2html46" href= "resul_objets-distribue_mn.html" target= "main"><small>Objets distribués</small></a></li> <li><a name="tex2html47" href= "resul_deduction-modulo_mn.html" target= "main"><small>Substitutions explicites et logique</small></a></li> <li><a name="tex2html48" href= "resul_lambda-faible_mn.html" target= "main"><small>Substitution explicite et lambda-calcul faible</small></a></li> <li><a name="tex2html49" href= "resul_projet-foc_mn.html" target= "main"><small>Environnement certifié de calcul formel</small></a></li> <li><a name="tex2html50" href= "resul_analyse-echappem_mn.html" target= "main"><small>Analyse d'échappements et optimisation de Java</small></a></li> <li><a name="tex2html51" href="resul_caml_mn.html" target="main"><small>Langages de programmation fonctionnels</small></a></li> </ul> </li> <li> <a name="tex2html52" href="contr_mn.html" target= "main"><small>Contrats industriels (nationaux, européens et internationaux)</small></a> <ul> <li><a name="tex2html53" href="contr_rnrt_mn.html" target="main"><small>Projet Marvel</small></a></li> <li><a name="tex2html54" href= "contr_management-Arian_mn.html" target= "main"><small>Nouvelles spécifications de management pour le logiciel d'Ariane 5</small></a></li> <li><a name="tex2html55" href="contr_PolySpace_mn.html" target="main"><small>Création de PolySpace Technologies</small></a></li> <li><a name="tex2html56" href="contr_colombus_mn.html" target="main"><small>Expertise du logiciel du module Colombus de la station spatiale internationale</small></a></li> </ul> </li> <li> <a name="tex2html57" href="inter_mn.html" target= "main"><small>Actions régionales, nationales et internationales</small></a> <ul> <li><a name="tex2html58" href="inter_confer-2_mn.html" target="main"><small>Actions européennes</small></a></li> <li><a name="tex2html59" href="inter_src_mn.html" target="main"><small>Collaboration avec Compaq, Systems Research Center</small></a></li> <li><a name="tex2html60" href="inter_accueil_mn.html" target="main"><small>Accueils de chercheurs étrangers</small></a></li> </ul> </li> <li> <a name="tex2html61" href="diffu_mn.html" target= "main"><small>Diffusion de résultats</small></a> <ul> <li><a name="tex2html62" href="diffu_animation_mn.html" target="main"><small>Animation de la communauté scientifique</small></a></li> <li><a name="tex2html63" href= "diffu_enseignement_mn.html" target= "main"><small>Enseignement universitaire</small></a></li> <li><a name="tex2html64" href="diffu_voyages_mn.html" target="main"><small>Participation à des colloques, séminaires, invitations</small></a></li> </ul> </li> <li><a name="tex2html65" href="bibliographie_mn.html" target="main"><small>Bibliographie</small></a></li> </ul> <hr> </body>