Bienvenue sur ma page professionnelle

Ingénieur de recherche et développement pour SILKAN, je suis actuellement en charge de différents projets de recherche français ou européens autour des DSLs et DSeLs et de la compilation pour architectures hétérogènes.
En particulier, je contribue à la plateforme Wild Cruncher, outil multi-cible de compilation de DSLs, qui inclut notamment Cold, compilateur source à source de SciLab/MatLab vers C/C++, et Par4All, outil de migration d'applications séquentielles vers des architectures parallèles (multicoeurs ou autres).
Mes principaux domaines d'intérêt sont :

• l'optimisation et la parallélisation automatique de programmes scientifiques;
• leur analyse sémantique (effets, pointeurs);
• les analyses interprocédurales;
• les transformations de programme (notamment la parallélisation gros grain, la privatisation et la scalarisation de tableaux).

Je travaille principalement sur l'extension des analyses intra- et interprocédurales de régions de tableaux aux programmes C, dans la continuité de mon travail de thèse. Ces développements sont intégrés dans la plateforme logicielle PIPS.
J'ai présenté ces travaux en détail au cours de l'Ecole Polyhedrale 2013.