Encadrement de mémoires, stages, thèses

Roman Iakymchuk, Robust and Energy-Efficient Numerical Solvers Towards Reliable and Sustainable Scientific Computations (Marie Curie Fellowship) (2019-2022)
(avec David Defour) Roman Iakymchuk, Reproducibility and accuracy for Exascale computing (2013-2015)

(avec Jérémy Berthomieu et Théo Mary) Dimitri Lesnoff, Efficient linear algebra on GPUs for Gröbner bases computations (2022-2025)
(avec Fabienne Jézéquel et Thibault Hilaire) Quentin Ferro, Auto-tuning de précision et validation numérique (2021-2024)
(avec Christoph Lauter et Fabrice Larribe) Clothilde Jeangoudoux, Génération automatique de tests pour la certification de codes en aéronautique (2016-2019) soutenue le 21 mai 2019
(avec Stéphane Popinet) Rajarshi Roy Chowdhury, Performance et qualité des codes HPC en mécanique des fluides (2015-2018) soutenue le 30 novembre 2018
Hao Jiang, étudiant en thèse à la National University of Defense Technology (NUDT), Changsha, Chine (2011-2012)
(avec Jean-Claude Bajard et Pierre Fortin) Mourad Gouicem, Conception et implantation d'algorithmes efficaces pour la résolution du dilemme du fabricant de table (2010-2013) soutenue le 14 octobre 2013

(avec Jérémy Berthomieu et Théo Mary) Dimitri Lesnoff, Efficient Gröbner bases computation on GPU (2022)
(avec Fabienne Jézéquel et Théo Mary) Roméo Molina, Algorithms and error analysis for adaptive precision sparse matrix-vector product (2021)
(avec Fabienne Jézéquel) Moustadrani Said Ibrahim, Validation de codes numériques pour l'obtention de résultats à précision choisie (2014)
(avec Fabienne Jézéquel) Yuxiang Zhu, Conception et implantation d'une arithmétique stochastique multiprécision (2010)
Jérémy Jean, Calcul efficace du produit scalaire dans un corps fini (2010)
(avec Jean-Luc Lamotte) Hong Diep Nguyen, Calcul précis et efficace avec le processeur Cell (2007) --- Transparents

Alexei Makarov, Cryptographie et réseaux (2010)
(avec Mohab Safey El Din) Ali Boutabaa, Wang Shiyue, Suivi de courbes definies par des polynômes (2010)
(avec Philippe Trébuchet) Mehdi Belkacemi, Mohemmed Bessalah, Résolution de systèmes linéaires sur GPU (2008)

Basile Lewandowski, Neural Network Precision Tuning With Stochastic Arithmetic (2021)
Youness Ibrahimy, Evaluation parallèle précise de polynômes (2015)
Adrien Martin, Implantation efficace d'un algorithme de sommation précision sur GPU (2013)
Ash Salehi, Amélioration de bornes d'erreur en arithmétique flottante par recherche exhaustive (2013)
(avec Vincent Beck) Franck Nguyen Van Sang, Multiplication rapide de matrices (2010)
(avec Fabienne Jézéquel) Wang Shiyue, Implantation d'une arithmétique stochastique multiprécision (2010)
(avec Pierre Fortin) Joachim Dehais, Calcul de pseudospectres sur GPU (2010)
(avec Pierre Fortin) Hertz Emani, Calcul de pseudospectres sur GPU (2010)
(avec Fabienne Jézéquel et Jean-Luc Lamotte) Bo Cai, Calcul précis et efficace sur GPU (2009)

César Mathéus, FP-INT: An effective way of storing floating point intervals (2021)
Renwen Xu, Recherche de bornes d'erreur certifiées pour l'évaluation polynomiale (2021)

Stef Graillat
(Dernière modification : 1er octobre 2022)