: SLAM par optimisation de graphe  Algorithmes  Algèbre linéaire creuse  Analyse de boucle  Analyse dynamique  Analyse statique  Apprentissage automatique  Apprentissage automatisé  Architecture -- Informatique  Architecture client-serveur  Architecture des ordinateurs  Architecture reconfigurable  Architectures hétérogènes  Architectures hétérogènes embarquées  Architectures manycœurs  Attributs sismiques  Calcul haute performance  Calcul intensif  Compilation  Compilation  GPGPU  Imagerie sismique  Logiciels -- Vérification  Microprocesseurs -- Programmation  Microprocesseurs multi-coeurs  Modèles mathématiques  Optimisation  Optimisation combinatoire  Ordonnancement  Parallélisme  Parallélisme  Performance  Processeurs à hautes performances  Programmation parallèle  Prédiction de performance  Systèmes embarqués  

François Bodin a rédigé la thèse suivante :

Optimisation de microcode pour une architecture horizontale et synchrone : etude et mise en oeuvre d'un compilateur

par François Bodin sous la direction de Patrice Quinton - Rennes 1

Sciences appliquées

Soutenue en 1989

François Bodin a dirigé les 7 thèses suivantes :

Accélération matérielle pour l’imagerie sismique : modélisation, migration et interprétation

par Rached Abdelkhalek sous la direction de François Bodin - Bordeaux 1

Informatique

Soutenue le 20-12-2013

De la nécessité d'une vision holistique du code pour l'analyse statique et la correction automatique des Applications Web

par Christophe Levointurier sous la direction de François Bodin et de Frank Rousée . - Rennes 1

Informatique

Soutenue en 2011

Vers un partitionnement automatique d'applications en codelets spéculatifs pour les systèmes hétérogènes à mémoires distribuées

par Éric Petit sous la direction de François Bodin - Rennes 1

Informatique

Soutenue en 2009

Schéma global de compilation sous contraintes pour la recherche de compromis entre la taille d'une application et sa performance

par Karine Heydemann sous la direction de François Bodin - Rennes 1

Informatique

Soutenue en 2004

Techniques de compilation pour la gestion et l'optimisation de la consommation d'énergie des architectures VLIW

par Gilles Pokam sous la direction de François Bodin - Rennes 1

Informatique

Soutenue en 2004

Utilisation du raisonnement à partir de cas et de l'apprentissage pour l'optimisation de code

par Antoine Monsifrot sous la direction de François Bodin - Rennes 1

Informatique

Soutenue en 2002

Environnement pour le portage de codes oriente performance sur machines paralleles et monoprocesseurs

par YANN MEVEL sous la direction de François Bodin - Rennes 1

Sciences appliquées

Soutenue en 1999

François Bodin a été président de jury des 4 thèses suivantes :

Optimisation de la localité des données sur architectures manycœurs

par Duco van Amstel sous la direction de Fabrice Rastello - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 18-07-2016

Combiner approches statique et dynamique pour modéliser la performance de boucles HPC

par Vincent Palomares sous la direction de William Jalby - Versailles-St Quentin en Yvelines

Informatique

Soutenue le 21-09-2015

Exploiting Semantic for the Automatic Reverse Engineering of Communication Protocols.

par Georges Bossert sous la direction de Ludovic Mé - Supélec

Informatique (STIC)

Soutenue le 17-12-2014

Méthodes d’optimisation combinatoire pour l’ordonnancement d’expressions arithmétiques sous contraintes de registres

par Benjamin Cohen Boulakia sous la direction de Dominique Barth - Université de Versailles-Saint-Quentin-en-Yvelines

Informatique

Soutenue en 2006

François Bodin a été rapporteur des 8 thèses suivantes :

A la recherche de la haute performance pour les codes de calcul et la visualisation scientifique

par Guillaume Colin de Verdière sous la direction de Michaël Krajecki - Reims

Info - Informatique

Soutenue le 16-10-2019

Décomposition automatique des programmes parallèles pour l'optimisation et la prédiction de performance.

par Mihail Popov sous la direction de William Jalby - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 07-10-2016

Localisation et cartographie simultanées par optimisation de graphe sur architectures hétérogènes pour l’embarqué

par Abdelhamid Dine sous la direction de Samir Bouaziz - Université Paris-Saclay (ComUE)

Robotique

Soutenue le 05-10-2016

A framework for efficient execution on GPU and CPU+GPU systems

par Jean-François Dollinger sous la direction de Philippe Clauss - Strasbourg

Informatique

Soutenue le 01-07-2015

Etude de l'adéquation des machines Exascale pour les algorithmes implémentant la méthode du Reverse Time Migation

par Asma Farjallah sous la direction de William Jalby - Versailles-St Quentin en Yvelines

Informatique

Soutenue le 16-12-2014

Générateur de code multi-temps et optimisation de code multi-objectifs

par Victor Lomüller sous la direction de Henri-Pierre Charles - Grenoble

Informatique

Soutenue le 12-11-2014

Programming-Model Centric Debugging for Multicore Embedded Systems

par Kevin Pouget sous la direction de Jean-François Méhaut et de Miguel Santana . - Grenoble

Informatique

Soutenue le 03-02-2014

Modèles de programmation et supports exécutifs pour architectures hétérogènes

par Sylvain Henry sous la direction de Denis Barthou et de Alexandre Denis . - Bordeaux 1

Informatique

Soutenue le 14-11-2013

François Bodin a été membre de jury de la thèse suivante :

Un modèle de programmation à grain fin pour la parallélisation de solveurs linéaires creux

par Corentin Rossignon sous la direction de Raymond Namyst , Pascal Hénon , Samuel Thibault et de Olivier Aumage . - Bordeaux

Informatique

Soutenue le 17-07-2015