Accueil

webTV

Lecture

Conférence éthique et intelligence artificielle : Elise Berlinski

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Carlos Adrian Correa Florez, MINES ParisTech PhD, PERSEE center

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Lancement de la Chaire industrielle ANR TOPAZE

+ TOUS

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 ParisTech

Actualité de la délégation de Fontainebleau - MINES ParisTech
Partager

actualité

Le Rapport d'activité 2020 est en ligne

Formation Le Rapport d'activité 2020 est en ligne MINES ParisTech, établissement-composante…
> En savoir +

Une santé de fer !<br>
Minéraux et santé, de l'Antiquité à nos jours

Formation Une santé de fer ! Minéraux et santé, de l'Antiquité à… Sous la plume de Quentin Bollaert, Alexandre Couturier,…
> En savoir +

Pourquoi éclipser le solaire ?

Formation Pourquoi éclipser le solaire ? Le rapport « Electricité : le devoir…
> En savoir +

DigiTraining lance un appel aux musées européens

International DigiTraining lance un appel aux musées européens Innover grâce aux nouvelles technologies Le…
> En savoir +

EcorcAir et les platanes du Quartier latin

Formation EcorcAir et les platanes du Quartier latin Vendredi 2 avril 2021, dernier jour de cours, en…
> En savoir +

Rentrée 2021 du MS MSIT (Mines - Dauphine)

Formation Rentrée 2021 du MS MSIT (Mines - Dauphine) La nouvelle promotion MS MSIT aura sa rentrée…
> En savoir +

+ Toutes les actualités

agenda

Du 20 juillet 2021 au 3 janvier 2022 Rentrée 2021 - 2022

Du 20 juillet 2021 au 3 janvier 2022 Rentrée 2021 - 2022

+ Tous les événements

Plan du site
Contacts Mentions légales efil.fr © 2014 MINES ParisTech