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 :
Juillet 1993 à decembre 1996
Thèse de doctorat : Analyses exactes de régions de tableaux et applications
En particulier, j'ai :
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.