Accueil

• Agenda
• Actualité

Actualité de la délégation de Fontainebleau

Retrouvez toutes les actualités et faits marquants ...

HDR sur la compilation parallèle

Sûreté: de l'analyse à l'instrumentation et à la synthèse de code

 Corinne Ancourt, du Centre de recherche en informatique de MINES ParisTech, a soutenu son habilitation à diriger des recherches (HDR) intitulée, "Sûreté : de l'analyse à l'instrumentation et à la synthèse de code",  le lundi 18 mai 2015 devant le jury composé de :

• Paul Feautrier, Professeur émérite à l'ENS Lyon, Rapporteur ;
• Patrice Quinton, Professeur à l'ENS Rennes, Rapporteur ;
• Sanjay Radopadhye, Professeur à Colorado State University, Rapporteur ;
• Cédric Bastoul, Professeur à l'université de Strasbourg, Examinateur ;
• Emmanuelle Encrenaz, Maître de conférences HDR à l'UPMC, Examinatrice ;
• François Irigoin, Directeur de recherche à MINES ParisTech, Examinateur.

Les machines multi-cœurs, les multiprocesseurs et les accélérateurs de type GPU se généralisent et pourtant il devient de plus en plus difficile pour les programmeurs de tirer profit de leurs capacités. La compilation source-à-source des applications permet de faciliter le développement d'implémentations efficaces pour ces architectures complexes.

Les travaux de recherche de Corinne s'inscrivent selon deux axes principaux. Le premier relève de la compilation et de l'optimisation d'applications en vue de leur exécution efficace sur des architectures parallèles. Le deuxième axe relève de l'utilisation de l'algèbre linéaire en nombres entiers pour modéliser les problèmes rencontrés.

Ses travaux sur les analyses statiques et dynamiques de programmes développées pour vérifier la correction d'un code et faciliter sa maintenance ont été présentés.  Puis, les méthodes de génération automatique de code des communications, que Corinne a développées, pour des architectures à mémoire distribuée ont été détaillées.

Une même abstraction a été utilisée pour les analyses et la modélisation des problèmes d'optimisation et de génération de code. Le choix des polyèdres a permis de rester dans un cadre algébrique disposant d'une large gamme de méthodes de résolution, aisées pour les preuves.