Accumulation flottante  Addition pipelinée  Additionneur rapide  Algèbre linéaire  Analyse des données  Analyse statique  Approximation polynomiale  Basse consommation  Bibliothèques haute performance  Blue Gene  C plus-plus  Calcul intensif  Carré  Chemin de données arithmétique  Chiffrement  Chromodynamique quantique  Clang  Communications pipelinées  Compilateur source-à-source  Compilation  Compilation  Contrôle statique  Coq  Cryptographie  Dilemme du fabricant de table  Domaine abstrait  Exponentielle flottante  FPGA  FloPoCo  Fortran  Gestion dynamique des taches  Géométrie algorithmique  Langages formels  Mémoire distribuée  Parallélisme  Programmation parallèle  

Paul Feautrier a dirigé les 37 thèses suivantes :

Gestion dynamique des tâches dans une architecture micro-éléctronique intégrée, à des fins de basse consommation

par Philippe Grosse sous la direction de Paul Feautrier - École normale supérieure (Lyon)

Informatique

Soutenue en 2007

Optimisation de programmes par reconnaissance de templates

par Christophe Alias sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines

Informatique

Soutenue en 2005

Amélioration de la localité dans les programmes à contrôle statique

par Cédric Bastoul sous la direction de Paul Feautrier - Paris 6

Systèmes informatiques

Soutenue en 2004

Étude de l'impact de la sécurité sur les performances dans les grappes de PC

par Éric Renault sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines

Informatique

Soutenue en 2000

Programmation parallèle orientée objet et réutilisabilité appliquée à l'algèbre linéaire

par Eric Noulard sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines

Informatique

Soutenue en 2000

Analyse et transformation de programmes : du modèle polyédrique aux langages formels

par Albert Henri Cohen sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines

Informatique

Soutenue en 1999

Analyse du flot de données pour tableaux en présence de contraintes non-affines

par Denis Barthou sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines

Informatique

Soutenue en 1998

Restructuration automatique des variables d'un programme en vue de sa parallélisation

par Vincent Lefebvre sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines

Informatique

Soutenue en 1998

Optimisation du placement des scans et des réductions pour machines parallèles à mémoire répartie

par Michel Barreteau sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines

Informatique

Soutenue en 1998

Analyse interprocedurale du flot des donnees

par ARNAULD LESERVOT sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1996

Contribution à la distribution automatique des données pour machines massivement parallèles

par Alexis Platonoff sous la direction de Paul Feautrier - Paris 6

Systèmes informatiques

Soutenue en 1995

Parallelisation automatique des programmes a controle dynamique

par Jean-François Collard et L. BOUGE sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1995

Algorithmes paralleles par flux dans les graphes : des fondements aux applications

par Philippe Lalevée sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1995

Un langage a parallelisme de donnees et de taches adapte aux architectures multi-simd. Contributions a la simulation hydrodynamique par les gaz sur reseau

par MARC PIC sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1995

Machines paralleles et simulation de la propagation des ondes : caracterisation et optimisation de performances

par Philippe Klein sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1995

Détection et exploitation des récurrences dans les programmes numériques en vue de leur parallélisation

par Xavier Redon sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1995

Optimisation de méthodes de résolution itératives de grands systèmes linéaires creux sur machines massivement parallèles

par Christine Weill-Duflos sous la direction de Paul Feautrier - Paris 6

Informatique

Soutenue en 1994

La synthese d'images en temps reel

par Rémi Arnaud sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1994

Analyse statique et dynamique de la complexite des programmes scientifiques

par Rey Chow sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1994

Systemes d'effet et interpretation abstraite pour l'analyse de flot de controle

par YANMEI TANG TANG sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1994

Construction d'un paralléliseur interactif de logiciels scientifiques de grande taille guide par des mesures de performances

par Jean-Yves Berthou sous la direction de Paul Feautrier - Paris 6

Informatique

Soutenue en 1993

Generation systematique de programmes paralleles pour architectures massivement paralleles

par MOURAD RAJI WERTH sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1993

Tests des dependances et transformations de programme

par YI QING YANG sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1993

Placement de donnees et generation de code automatique pour les multiprocesseurs a memoire distribuee

par FAWZI HASSAINE sous la direction de Paul Feautrier - Paris 6

Systèmes informatiques

Soutenue en 1993

Les philosophes sur l'interaction des processus

par STEVEN ERICSSON-ZENITH sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1992

Traitement des indexations non lineaires en parallelisation automatique : une methode de linearisation contextuelle

par ALAIN DUMAY sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1992

Analyse de complexite des algorithmes : verification et inference

par VINCENT DORNIC sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1992

Generation automatique de codes de transfert pour multiprocesseurs a memoires locales

par MARTINE ANCOURT sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1991

Analyse semantique des programmes en langage c en vue de leur parallelisation

par Pierre David sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1991

Parallelisation automatique : estimation des durees d'execution et allocation statique de processeurs

par NADIA TAWBI sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1991

Vectorisation automatique de boucles comportant des instructions de branchement

par Catherine Laurent sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1990

Generation de code et analyse interprocedurale au sein d'un environnement de programmation parallele

par Babak Dehbonei sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1990

Cooperation d'agents et placement de taches dans les systemes multiprocesseurs, par partitionnement de graphe

par FRANCOIS MEUNIER sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1990

Specification et realisation d'un service de fichiers fiable pour le systeme d'exploitation reparti chorus

par HUGO CESAR COYOTTE ESTRADA sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1989

Restructuration des programmes fortran en vue de leur parallelisation

par Zahira Ammarguellat sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1988

Du développement de logiciels numériques en environnements parallèles

par Serge Petiton sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1988

Acquisition et reconnaissance de messages graphiques, un systeme expert dans un systeme eao

par Patrice Carton sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1988

Paul Feautrier a été président de jury des 2 thèses suivantes :

Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle

par Alexis Fouilhé sous la direction de David Monniaux et de Michaël Périn . - Grenoble Alpes

Informatique

Soutenue le 15-10-2015

Calcul flottant haute performance sur circuits reconfigurables

par Bogdan Mihai Pasca sous la direction de Florent Dupont de Dinechin - Lyon, École normale supérieure

Informatique

Soutenue le 21-09-2011

Paul Feautrier a été rapporteur de la thèse suivante :

Un système formel de transformation de programmes pour leur exécution sur machines parallèles

par Xiaobo Yu sous la direction de Traian Muntean - Grenoble INPG

Informatique

Soutenue le

Paul Feautrier a été membre de jury des 2 thèses suivantes :

Contributions à la traduction binaire dynamique : support du parallélisme d'instructions et génération de traducteurs optimisés

par Luc Michel sous la direction de Frédéric Pétrot - Grenoble

Informatique

Soutenue le 18-12-2014

Lattice QCD Optimization and Polytopic Representations of Distributed Memory

par Michael Kruse sous la direction de Christine Eisenbeis - Paris 11

Informatique

Soutenue le 26-09-2014