- Luc SAULEAU (2025- present)
Subject: Enhancing Data Transfer and Performance on Heterogeneous Architectures
- Youssef ATTIA EL HILI (2025-present)
Subject: Smart agents for iterated batch reinforcement learning
- Arthur VIENS (2024-present)
Subject: Optimization of the mapping of convolutional neural networks on hybrid architectures
- Benjamin DESTAL (2024-present)
Subject: Modèles de coûts statiques pour les compilateurs optimisants pour l’amélioration de la performance énergétique des logiciels embarqués
- Gianpietro CONSOLARO (2021-2024)
Subject: Polyhedral Compilation For Deep Neural Networks
- Othman GAIZI (2022-2023)
Subject: Smart agents for slowly iterated batch reinforcement learning.
- Yassine KRIOUILE (2019-2022)
Subject: Object Detection in Dense Scenes
- Maksim BEREZOV (2018-2022)
Subject: Automatic Source-to-Source Optimisation of Applications Using Maching Learning Techniques.
- Patryk KIEPAS (2015-2019)
Subject: Automatic Source-to-Source Optimisation of Matlab Codes.
- Florian GOUIN (2014-2019)
Subject: Performance Optimization and Methodology for Mapping Image Processing Applications onto GPU.
- Nelson LOSSING (2013-2017)
Subject: Compilation for Distrubuted Memory Machines: a multi-pass approach.
- Dounia KHALDI (2010-2013)
Subject: Parallélisation automatique de tâches en présence de contraintes de ressources.
- Amira MENSI (2009-2013)
Subject: Analyses de pointeurs.
- Duong NGUYEN (2002-2010)
Subject: Robust and Generic Abstract Domain for Static Program Analyses: The Polyhedral Case.
- Ridima BANSAL (2008-2009)
Subject: Synthèse de code informatique pour des processeurs de traitement du signal en temps réel.
- Nga NGUYEN (1999-2002)
Subject: Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code.
- Nicolas MUSEUX (1998-2001)
Subject: Aide au placement d’applications de traitement du signal sur machines parallèles multi-SPMD.
- Olivier ALBIEZ (1997-1999)
Subject: Régions de tableaux dans le modèle polyédrique.
- Christophe GUETTIER (1994-1997)
Subject: Optimisation globale et placement d’applications de traitement du signal sur architectures parallèles utilisant la programmation logique avec contraintes.
- Yi-Qing YANG (1990-1993)
Subject: Dependence Tests and Program Transformations.
- [Reviewer] Quentin PETIT (2025)
Distributed and Parallel Computing for very Large Neural Networks. Université Paris-Saclay
- [Reviewer] Hugo THIEVENAZ (2024)
Scalable Trace-based Compile-Time memory Allocation. Ecole Normale Supérieure de Lyon.
- [Examiner] Michael CANESCHE (2024)
Optimizing Machine Learning Models: A Droplet Search Approach toEfficient Kernel Scheduling. Université fédérale du Minas Gerais, Brezil.
- [Reviewer] Adam TALBI (2024)
Analyse statique et apprentissage automatique interprétable pour la détection des logiciels malveillants Android. CY CERGY PARIS Université.
- [Reviewer] Nathan MAURICE (2024)
Irregular : Conception d’algorithmes irréguliers parallèles efficaces sur systèmes embarqués hétérogènes. Sorbonne Université.
- [Examiner] Thais BAUDON (2024)
ADT4HPC: Algebraic Data Types for High-Performance Computing. Ecole Normale Supérieure de Lyon.
- [Examiner] Cyril CETRE (2024)
Extension of HPC methods and techniques to meet the needs of real time constraints and their application to giant astronomical telescopes and embedded systems. Observatoire de Paris - PSL University.
- [Reviewer] Hugo POMPOUGNAC (2022 )
Spécification et compilation de réseaux de neurones embarqués. Sorbonne Université.
- [Examiner] Célia Tassadit AIT KACI (2022 )
Analyse statique et dynamique pour la détection d’erreurs de concurrence d’accès mémoire dans les applications MPI-RMA. Université de Bordeaux.
- [Examiner] Basile CLEMENT (2022 )
the Translation Validation of multidimensional array languages. Ecole Normale Supérieure de Lyon.
- [Examiner] Thiago Santos Faria Xavier TEIXEIRA (2020 )
A Language and a System for Program Optimization. University of Illinois at Urbana-Champaign, US.
- [Examiner] Andrea PETRETO (2020 )
Débruitage Vidéo temps-réel pour systèmes embarqués. Sorbonne Université.
- [Reviewer] Christophe ALIAS (2019 )
HDR: Contributions to Program Optimization and High-Level Synthesis. Ecole Normale Supérieure de Lyon.
- [Examiner] Chandan REDDY (2019)
Polyhedral compilation for Domain Specific Languages. Ecole Normale Supérieure de Paris.
- [Reviewer] Maroua MAALEJ (2017 )
Low-cost memory analyses for efficient compilers. Ecole Normale Supérieure de Lyon.
- [Reviewer] Julien COLLET (2017 )
Exploration of parallel graph-processing algorithms on distributed architectures. CEA.
- [Reviewer] Hanyu ZHANG (2016 )
Méthodes itératives à retard pour architectures massivement parallelès. Université Paris Saclay.
- [Reviewer] Lenaic BAGNERES (2016 )
Adaptation automatique et semi-automatique des optimisations de programmes. LRI, Paris.
- [Reviewer] Erven ROHOU (2015)
HDR: Infrastructures and Compilation Strategies for the Performance of Computing Systems. Université de Rennes 1.
- [Reviewer] Abal Kassim CHEIK AHAMED (2015 )
Méthodes numériques pour la résolution accélérée des systèmes linéaires de grandes tailles sur architectures hybrides massivement parallèles. Ecole Centrale Paris.
- [Examiner] Haixiong YE (2014}
Impact des transformations algorithmiques sur la synthèse de haut niveau: application au traitement des images et du signal. Université Paris Sud
- [Reviewer] Antoine MONSIFROT (2002)
Utilisation du raisonnement à partir de cas et de l’apprentissage pour l’optimisation de code. IRISA Université Rennes 1.
- [Examiner] Nicola WILLIAMS-PRESTON (2000}
Application des spécifications algébriques à la rétro-ingénierie de codes Fortran. Ecole Normale Supérieure de Cachan.
- [Reviewer] Mohamed TADJOUDDINE (1999)
Analyse de dépendances de Jacobiennes creuses pour la différentiation automatique. Université de Nice-Sophia Antipolis.
- [Examiner] Denis BARTHOU (1998)
Analyse du flot de données pour tableaux en présence de contraintes non-affines. Université de Versailles St-Quentin.
- [Examiner] Thierry MONTAUT (1996)
Méthodes pour l’élimination du faux-partage et l’optimisation de la localité sur une machine parallèle à mémoire virtuelle partagée. IRISA Université Rennes 1.
- [Examiner] Lei ZHOU (1994)
Statical and dynamical analysis of program complexity. Ecole des Mines de Paris.