Bienvenue aux Mines Paristech
Bienvenue à MINES ParisTech
Newsletter International
Website
Théorie & Pratique
Vous êtes

rechercher
une actualité

Ecole
Entreprise
Formation
International
Recherche
Sciences de la terre et
de l'environnement
Energétique et procédés
Mécanique et matériaux
Mathématiques et systèmes
Economie, management
et société
Partager

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 ParisTech

agenda

Du 10 septembre au 27 novembre 2018 Mooc Conversion thermodynamique de la…

Du 18 septembre au 14 décembre 2018 Musique aux Mines 2018

Du 1 octobre 2018 au 31 janvier 2019 Mai 68 aux Mines

Du 1 octobre au 10 décembre 2018 MOOC - Problèmes Énergétiques Globaux

Du 22 octobre au 3 décembre 2018 Mooc Conversion thermodynamique de la…

+ Tous les événements

webTV

Lecture

Séminaire PSL - Écosystèmes de médias I Session 4 Partie 4

Lecture

Séminaire PSL - Écosystèmes de médias I Session 4 Partie 2

Lecture

Séminaire PSL - Écosystèmes de médias I Session 4 Partie 3

Lecture

Séminaire PSL - Écosystèmes de médias I Session 4 Partie 1

Lecture

Lancement de la Chaire DEEP unissant HUTCHINSON, l'ESPCI et MINES ParisTech

+ Toutes les vidéos

actus / Sciences de la terre et l'environnement

Consulter les actus de cette thématique

actus / Énergétique et procédés

Consulter les actus de cette thématique

actus / Mécanique et matériaux

Consulter les actus de cette thématique

actus / Mathématique et systèmes

Consulter les actus de cette thématique

actus / Économie, management et société

Consulter les actus de cette thématique
Plan du site
MINES
ParisTech

60, Boulevard Saint-Michel
75272 PARIS Cedex 06
Tél. : +33 1 40 51 90 00

Implantations
Formation
Mentions légales | efil.fr | ©2012 MINES ParisTech | +33 1 40 51 90 00 |