Algorithmes d'approximation  Algorithmes parallèles  Apprentissage automatique  Assimilation variationnelle de données  Calcul adaptatif  Calcul approché  Calcul haute performance  Calcul intensif  Calculs stencils  Code source  Codes correcteurs d’erreurs  Compilateur  Compilateurs  Compilateurs  Compilation  Compilation  Compilation polyédrique  Complexité asymptotique  Contrôle statique  Crowdsourcing  Dissertation universitaire  Flux de données contraints  Gestion des connaissances -- Logiciels  Gestion des connaissances  Génération automatique  Génération de code  Langages de programmation  Modèle polyédrique  Mémoire partagée répartie  Optimisation  Optimisation de code  Optimisation mathématique  Parallélisation  Parallélisation automatique  Parallélisme  Programmation parallèle  

Cedric Bastoul a rédigé la thèse suivante :

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

Cedric Bastoul dirige actuellement la thèse suivante :

Compilation polyédrique pour les réseaux de neurones profonds

par Gianpietro Consolaro sous la direction de Corinne Ancourt et de Cedric Bastoul . - Université Paris sciences et lettres

Informatique temps réel, robotique et automatique - Fontainebleau

En préparation depuis le 01-09-2021

Cedric Bastoul a dirigé les 5 thèses suivantes :

Polyhedral code generation : reducing overhead and increasing parallelism

par Harenome Razanajato sous la direction de Cédric Bastoul - Strasbourg

Informatique

Soutenue le 24-09-2020

Parallélisation et passage à l'échelle durable d'une chaïne de traitement graphique pour l'impression professionnelle

par Paul Godard sous la direction de Cédric Bastoul - Strasbourg

Informatique

Soutenue le 16-12-2019

Conception du modèle de programmation INKS pour la séparation des préoccupations algorithmiques et d’optimisation dans les codes de simulation numérique : application à la résolution du système Vlasov/Poisson 6D

par Ksander Ejjaaouani sous la direction de Michel Mehrenberger et de Cédric Bastoul . - Strasbourg

Informatique

Soutenue le 25-10-2019

Génération automatique de codes adaptatifs

par Maxime Schmitt sous la direction de Cédric Bastoul et de Philippe Helluy . - Strasbourg

Informatique

Soutenue le 30-09-2019

Restructuration interactive des programmes

par Oleksandr Zinenko sous la direction de Stéphane Huot et de Cédric Bastoul . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 25-11-2016

Cedric Bastoul a été président de jury des 2 thèses suivantes :

Automatic code generation and optimization of multi-dimensional stencil computations on distributed-memory architectures

par Mariem Saied sous la direction de Jens Gustedt et de Gilles Muller . - Strasbourg

Informatique

Soutenue le 25-09-2018

Compilation efficace d'applications de traitement d'images pour processeurs manycore

par Pierre Guillou sous la direction de François Irigoin et de Fabien Coelho . - Paris Sciences et Lettres (ComUE)

Informatique temps réel, robotique et automatique

Soutenue le 30-11-2016

Cedric Bastoul a été rapporteur des 2 thèses suivantes :

Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène

par Jie Zhao sous la direction de Albert Henri Cohen - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 13-12-2018

Crowdtuning : towards practical and reproducible auto-tuning via crowdsourcing and predictive analytics

par Abdul Wahid Memon sous la direction de William Jalby et de Grigori Fursin . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 17-06-2016

Cedric Bastoul a été membre de jury des 4 thèses suivantes :

Méthodes d’optimisation et de parallélisation pour la radio logicielle

par Adrien Cassagne sous la direction de Denis Barthou et de Christophe Jego . - Bordeaux

Informatique

Soutenue le 08-12-2020

Adaptation automatique et semi-automatique des optimisations de programmes

par Lénaïc Bagnères sous la direction de Christine Eisenbeis - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-09-2016

Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra

par Ramakrishna Upadrasta sous la direction de Albert Henri Cohen - Paris 11

Informatique

Soutenue le 13-03-2013

Formalisation et automatisation de YAO, générateur de code pour l’assimilation variationnelle de données

par Luigi Nardi sous la direction de Fouad Badran et de Sylvie Thiria . - Paris, CNAM

Informatique

Soutenue le 08-03-2011