Curriculum vitae

2009- Ingénieur recherche et développement, SILKAN (ex. HPC Project)

Actuellement en charge du management technique de projets de recherche collaboratifs français et européens autours des DSLs, DSeLs, et de la compilation pour architectures multi- ou many-cœurs.
Contributions à la plateforme WildCruncher, outil multi-cible de compilation de DSLs, qui inclut notamment Cold, compilateur source à source de SciLab/MatLab vers C/C++, et Par4All 1.x.
Contributions à Par4All, compilateur C source-à-source multi-cible (OpenMP, Cuda, OpenCl) :
Par4All 2.x :

• Version basée sur Clang, en cours d'étude et d'implémentation.

Par4All 1.x :

• Version basée sur PIPS, Paralléliseur Interprocédural de Programmes Scientifiques développé par Mines ParisTech.
• Responsable des analyses et transformations concernant les accès à la mémoire (analyses de pointeurs, analyses des utilisations de la mémoire et du flot des données, y compris pour les tableaux et structures, privatisation et scalarisation de tableaux,...). Ces travaux sous-tendent plusieurs thèses et diverses contributions à des projets français ou européens comme SMECY, OpenGPU, SCALOPES, MediaGPU, SIMILAN.
• Implémentation d'un générateur automatique de tâches à partir de code dataflow pour un MPSoC asymétrique à mémoire partagée au sein du projet SCALOPES.

Cours sur les régions de tableaux à l'Ecole PolyhedraleEcole Polyhédrale, mai 2013.
Participation au comité de programme d'IMPACT 2014 (4th International Workshop on Polyhedral Compilation Techniques).

1998-99 Professeur à l'ESIGETEL

C, Smalltalk, TCL/TK, sémantique et algorithmique

1996-97 Post-Doc à au Centre de Recherche en Informatique de Mines ParisTech

• Evaluation de l'implantation des régions sur des applications réelles
• Implantation d'un moteur générique de calcul de régions de tableaux
• Optimisation manuelle d'une application de géostatistique

1993-96 Thèse au Centre de Recherche en Informatique de Mines ParisTech

Analyse de régions de tableaux et applications (mention Très Honorable avec Félicitations)

• Introduction de nouveaux concepts de régions pour la réingénierie et l'optimisation de programmes
• Formalisation des analyses de régions de tableaux
• Proposition d'un algorithme de traduction interprocédurale des régions
• Proposition d'un algorithme de détection des sections de tableaux privées
• Implantation dans PIPS, Paralléliseur Interprocédural de Programmes Scientifiques

Ce travail a été récompensé par le prix Le Chatelier de la meilleure thèse de Mines ParisTech en 1997.

1993-94 DEA Systèmes Informatiques à l'université Paris VI (mention Bien)

1990-93 Ecole Supérieure d'Electricité

• Spécialisation en informatique
• Option recherche : parallélisation dynamique automatique de programmes Smalltalk à partir d'un mécanisme de temps virtuel (Time Warp)