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:

specified the nature of array regions;
defined their exact and approximate semantics using a denotational approach;
proposed a powerful algorithm to translate array regions accross procedure boundaries in case of array reshaping;
gave an original algorithm for the detection of privatizable array sections;
implemented everything in PIPS, and interprocedural parallelizer of scientific programs; this involved more than 12000 lines of C code;

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.