Béatrice CREUSILLET


Engineering degree from École Supérieure d'Électricité (1993)
Doctoral degree from École des mines de Paris (1996)
1996 best thesis award of the École des mines de Paris

Born July 23rd, 1971 in Toulouse, France
French nationality
Married

Office

Centre de Recherche en Informatique, École des Mines de Paris
35, rue Saint-Honoré, F-77305 Fontainebleau Cedex, France

Phone: +33 1 64 69 48 38, Fax: +33 1 64 69 47 09
E-mail: creusillet@cri.ensmp.fr

Home

1, Parc Saint-Hubert, 189 rue Grande, 77300 Fontainebleau


Education

1996: PhD degree in computer science from École des mines de Paris, obtained with honors. 1996 best thesis award of the École des mines de Paris.
1994: DEA Systèmes Informatiques (~Master thesis) with honors, Institut Blaise Pascal, Université Paris VI .
1993: Engineering degree from École Supérieure d'Électricité, specialization in computer science, research option.
1988: French Baccalauréat (mathematics and sciences) with honors.


Experience

Centre de recherche en informatique, École des mines de Paris
From decembre 1996
research assistant
July 1993 to december 1996
PhD thesis: Exact array region analyses and applications
In particular, I:
Teaching: Algebraic abstract data types and object oriented languages.

Électricité de France, Clamart (92)
April to June 1993
Development of a scenario editor using an object oriented language (SPOKE). The purpose was to provide a graphic interface to capture data concerning electric plants. There were different types of datum, ranging from text to exclusive attributes, and graphical curves with constraints. The interest lay in the use of a coherence consistency system, that ensured that the modifications of the interface were reported on the underlying object representation, and on linked objects.

École Supérieure d'Électricité
November 1992 to April 1993
Research option (~300 hours): automatic dynamic parallelization of object oriented langages using an optimistic virtual time paradigm (Time Warp). Application to Smalltalk.


Computer science

Programming languages
C, Fortran 77, Pascal, Smalltalk, Lisp.
Notions in C++, Prolog, sh.

Invited talks
Analyses de régions de tableaux et applications
Seminar at Irisa, October 1996, France.

Régions de tableaux
Seminar on automatic parallelization at Thomson LCR, July 1995, France.

Analyses interprocédurales (with François Irigoin)
Journées du SEH 1994, january 26-28th 1994, Clamart, France.

Publications
Exact vs. Approximate Array Region Analyses (with François Irigoin)
Ninth International Workshop on Languages and Compilers for Parallel Computing,
August 1996, San Jose (California), USA (also published in LNCS No.1239).

Interprocedural Array Region Analyses (with François Irigoin)
International Journal of Parallel Programming, Vol.24 No.6.

Interprocedural Array Region Analyses (with François Irigoin)
Eighth International Workshop on Languages and Compilers for Parallel Computing,
August 1995, Columbus (Ohio), USA (also published in LNCS No.1033).
Selected for publication of an extended version in IJPP (see above).

IN and OUT Array Regions Analyses
Fifth Workshop on Compilers for Parallel Computers, June 1995, Malaga, Spain.

Analyse de Flot de Données : Régions IN et OUT
RenPar'7, May-June 1995, Mons, Belgium.

Calcul de Régions de Tableaux Exactes
Techniques et Sciences Informatiques, Numéro spécial RenPar'6, May 1995.

Calcul de Régions Exactes
RenPar'6, June 1994, Lyon, France.
Selected for publication of an extended version in TSI (see above).

Reports
Array Regions for Interprocedural Parallelization and Array Privatization
November 1995.

Régions Exactes et Privatisation de Tableaux
Rapport de DEA Systèmes Informatiques, Université Paris VI, August 1994
(~master thesis).

Reviews
SAS'94, CC'94, PLDI'94, LCPC'95, PDP'96, ICS'96, Europar'96, LCPC'96.


Languages

French: mother tongue.
English: fluent.
German: good notions.
Japanese, Spanish: basic notions.