To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 01/03/02 - Paris - FR

      Vous pouvez maintenant vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                       Salle de conference du Bat 11

                           Vendredi 1 mars, 10h30

                              ----------------
                              Roberto Di Cosmo
                              ----------------

                   PPS (Universite de Paris 7) and INRIA

        ============================================================
        Programmation fonctionnelle parallele: l'experience OcamlP3L
        ============================================================

   Écrire des programmes parallèles n'est pas une tache facile, et la phase
   de mise à point est assez  souvent un cauchemar dont les programmeurs se
   passeraient  volontiers.   Si  on   renonce  au  pouvoir  expressif  des
   primitives  de  communication de  bas  niveau,  on  peut développer  une
   approche   structurée   de   la   programmation  parallèle   basée   sur
   l'utilisation  d'une  petite collection  de  primitives  de haut  niveau
   (appelées  "squelettes") qui  capturent des  schéma récurrents  dans les
   systèmes  parallèles,  et  permettent  de programmer  de  façon  simple,
   portable et aisée une classe limitée de problèmes.

   Plusieurs groupes  de recherche ont proposé  des collections différentes
   de squelettes, mais P3L, mis à point à l'Université de Pise, a parmi ces
   propositions  l'avantage d'être  interprétable comme  une  collection de
   fonctionnelles  bien connues  en programmation  fonctionnelles,  et donc
   particulièrement bien adaptés au mariage avec un langage comme Ocaml.

   Nous  allons  présenter dans  cet  exposé  OcamlP3L,  une librairie  qui
   fournit  au programmeur  Ocaml le  squelettes P3L.  Cette  librairie est
   écrite  entièrement en  Ocaml,  est relativement  compacte,  grâce à  la
   possibilité d'envoi de  fermetures, montre un speedup réel  et permet ce
   que nous appelons "la mise à point logique" des programmes.

   Il y  a maintenant trois axes  de recherche ouverts:  la définition d'un
   langage  satisfaisant  pour   décrire  les  opérations  data-parallèles,
   l'identification d'un  langage intermédiaire pour  simplifier l'écriture
   de  nouvelles  squelettes,  le   choix  des  techniques  de  preuves  de
   correction  de l'implémentation.  Ce  sont ces  défis qu'il  nous faudra
   relever dans les prochaines versions d'OcamlP3L.