Béatrice CREUSILLET
Ingénieur de l'École Supérieure d'Électricité (1993)
Docteur de l'École des mines de Paris (1996)
Prix de la meilleure thèse de l'École des mines de Paris 1996
Née le 23 juillet 1971 à Toulouse, France
Nationalité française
Mariée
Bureau
Centre de Recherche en Informatique, École des mines de Paris
35, rue Saint-Honoré, 77305 Fontainebleau Cedex
Tel: 01 64 69 48 38, Fax: 01 64 69 47 09
E-mail: creusil@cri.ensmp.fr
Adresse personnelle
1, Parc Saint-Hubert, 189 rue Grande, 77300 Fontainebleau
Formation
1996: Thèse de doctorat en informatique de l'École des mines
de Paris. Diplôme obtenu le 5 décembre 1996, mention très honorable
avec félicitations. Prix Le Chatelier de la meilleure thèse de l'École
des mines 1996.
1994: DEA Systèmes Informatiques, Université Paris VI, mention
bien.
1993: École Supérieure d'Électricité
spécialisation en informatique, option recherche.
1988: Baccalauréat C (mathématiques et sciences), mention très bien.
Expérience
Centre de recherche en informatique, École des mines de Paris
Depuis décembre 1996
Attachée de recherche
J'ai notamment :
- évalué l'implantation effectuée lors de ma thèse sur des
applications réelles ;
- étudié l'optimisation manuelle d'une application de géostatistique.
Juillet 1993 à decembre 1996
Thèse de doctorat :
Analyses exactes de régions de tableaux et applications
En particulier, j'ai :
- introduit de nouveaux concepts, ouvrant des perspectives dans les
domaines de la ré-ingénierie, de l'optimisation de programmes, et de la
détection d'erreurs ;
- proposé une formalisation complète des analyses de régions de tableaux ;
- donné un algorithme original pour la détection des sections de tableaux
privées ;
- spécifié et effectué une implantation représentant plus de 12000 lignes
de code C.
Enseignement : Types abstraits algébriques et langages orientés objets.
Électricité de France, Clamart (92)
Avril à juin 1993
Réalisation d'un éditeur de scénarios de configuration de réseau
électrique et de pannes en langage orienté objets (Spoke), à partir
de la spécification du format de sortie.
École Supérieure d'Électricité
Novembre 1992 à Avril 1993
Option recherche (~300 heures) :
Étude de la parallélisation dynamique automatique des langages
à objets à partir d'un mécanisme de temps virtuel optimiste (Time
Warp).
Informatique
Langages de programmation
C, Fortran 77, Pascal, Smalltalk, Lisp.
Notions de C++, Prolog, sh.
Invitations
Analyses de régions de tableaux et applications
Seminaire à l'Irisa, octobre 1996, France.
Régions de tableaux
Seminaire sur la parallélisation automatique à Thomson/LCR, juillet
1995, France.
Analyses interprocédurales
(avec François Irigoin)
Journées du SEH 1994, janvier 1994, Clamart, France.
Publications
Exact vs. Approximate Array Region Analyses
(avec François Irigoin)
Ninth International Workshop on Languages and Compilers for Parallel
Computing,
août 1996, San Jose (Californie), USA (publié dans LNCS, No.1239).
Interprocedural Array Region Analyses
(avec François Irigoin)
International Journal of Parallel Programming, Vol.24 No.6, 1996.
Interprocedural Array Region Analyses
(avec François Irigoin)
Eighth International Workshop on Languages and Compilers for Parallel
Computing,
août 1995, Columbus (Ohio), USA (publié dans LNCS, No.1033).
Sélectionné pour publication d'une version étendue dans IJPP (voir ci-dessus).
IN and OUT Array Regions Analyses
Fifth Workshop on Compilers for Parallel
Computers, juin 1995, Malaga, Espagne.
Analyse de Flot de Données : Régions IN et OUT
RenPar'7, mai-juin 1995, Mons, Belgique.
Calcul de Régions de Tableaux Exactes
Techniques et Sciences Informatiques, Numéro spécial
RenPar'6, mai 1995.
Calcul de Régions Exactes
RenPar'6, juin 1994, Lyon, France.
Sélectionné pour publication d'une version étendue dans TSI (voir ci-dessus).
Rapports
Analyses de régions de tableaux et tests de débordements
Rapport interne CRI-A-211, avril 1997.
PIPS : la parallélisation interprocédurale de 1991 à 1997
Rapport interne CRI-E-210, avril 1997.
Interprocedural Analyses of Fortran Programs
Rapport CRI-A-303, mars 1997. Soumis à publication.
Array Regions for Interprocedural Parallelization and Array
Privatization
Rapport interne CRI-E-185, novembre 1995.
Régions Exactes et Privatisation de Tableaux
Rapport de DEA Systèmes Informatiques, Université Paris VI, août 1994.
Relectures
SAS'94, CC'94, PLDI'94, LCPC'95, PDP'96, ICS'96, Europar'96, LCPC'96, SAS'97.
Langues
Français : langue maternelle.
Anglais : courant.
Allemand : bonnes notions.
Japonais, Espagnol : notions de base.