Accueil

contact

Retrouvez nos coordonnées
sur la page
Informations pratiques

Actualité de la délégation de Fontainebleau

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

Recherche

15/06/2015

HDR sur la compilation parallèle

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

HDR sur la compilation parallèle

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.

Habilitation à diriger des recherches - Mines Paris - PSL

Actualité de la délégation de Fontainebleau - Mines Paris - PSL
Partager

actualité

Un docteur CRI à UCL avec la ministre de l'ESR

International Un docteur CRI à UCL avec la ministre de l'ESR Robin Le Conte des Floris, jeune docteur de la thèse…
> En savoir +

Séminaire HPC / thèse à Rabat

Formation Séminaire HPC / thèse à Rabat Claude Tadonki, enseignant-chercheur au CRI, a…
> En savoir +

CloudTech au Maroc

Formation CloudTech au Maroc   Claude Tadonki, enseignant-chercheur au Centre de recherche en informatique…
> En savoir +

Samuel Forest, élu membre de l’Académie des Sciences

Formation Samuel Forest, élu membre de l’Académie des… Samuel Forest lors de sa réception à…
> En savoir +

Les politiques publiques doivent-elles sauver des vies ou des années de vie en plus ?

Formation Les politiques publiques doivent-elles sauver des… Photo de Andre Taissin sur Unsplash François…
> En savoir +

Prix TTI.5 de la controverse environnementale

Formation Prix TTI.5 de la controverse environnementale Le 31 mai, à la Maison de l’Océan à…
> En savoir +

+ Toutes les actualités

Plan du site
Contacts Mentions légales efil.fr © 2014 Mines Paris - PSL