. ccNUMA  Ada 83  Algorithmes  Algorithmes compensés  Algèbre linéaire  Analyse Sensorielle  Analyse numérique matricielle  Analyse statique  Approximation de fonctions  Architecture vectorielle  Arithmétique  Arithmétique Stochastique Discrète  Arithmétique des ordinateurs  Arithmétique en virgule flottante  Arithmétique flottante  Arithmétique flottante IEEE-754  Arithmétique interne des ordinateurs  Arithmétique par intervalles  Arrondi correct  BLAS  Bibliothèque CADNA  Bibliothèque MAGMA  Bibliothèques logicielles pour l’algèbre linéaire dense  Calcul d'erreur  Calcul formel  Calcul haute performance  Calcul hybride multicœur/GPU  Calcul scientifique vérifié  Calculs numériques  Cherenkov  Efficacité  Erreurs d'arrondi  Programmation parallèle  Précision  Reproductibilité  Simulation par ordinateur  

Philippe Langlois a rédigé la thèse suivante :

ADA et calcul scientifique : qualité numérique des fonctions élémentaires

par Philippe Langlois sous la direction de Jacques Couot - Toulouse 3

Mathématiques appliquées

Soutenue en 1990

Philippe Langlois dirige actuellement les 2 thèses suivantes :

Optimisation de code HPC pour la simulation en astrophysique

par Matthieu Carrere sous la direction de Luisa Arrabito et de Philippe Langlois . - Montpellier

Informatique

En préparation depuis le 01-10-2019

Amélioration des performances HPC: Réduction de formats de données

par Harris ludwig Boudi sous la direction de Philippe Langlois - Perpignan

Informatique

En préparation depuis le 31-08-2018

Philippe Langlois a dirigé les 6 thèses suivantes :

Towards reproducible, accurately rounded and efficient BLAS

par Chemseddine Chohra sous la direction de Philippe Langlois et de David Parello . - Perpignan

Informatique

Soutenue le 10-03-2017

How to improve the numerical reproducibility of hydrodynamics simulations : analysis and solutions for one open-source HPC software

par Rafife Nheili sous la direction de Philippe Langlois et de Christophe Denis . - Perpignan

Informatique

Soutenue le 07-12-2016

Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754

par Laurent Thévenoux sous la direction de Matthieu Martel et de Philippe Langlois . - Perpignan

Informatique

Soutenue en 2014

Algorithmes compensés en arithmétique flottante : précision, validation, performances

par Nicolas Louvet sous la direction de Philippe Langlois - Perpignan

Informatique

Soutenue en 2007

Fiabilité des algorithmes numériques : pseudosolutions structurées et précisions

par Stef Graillat sous la direction de Philippe Langlois - Perpignan

Informatique

Soutenue en 2005

Fiabilité numérique et précision finie : une méthode automatique de correction linéaire de l'erreur d'arrondi

par Fabrice Nativel sous la direction de Philippe Langlois - La Réunion

Mathématiques et informatique. Mathématiques appliquées et calcul scientifique

Soutenue en 1998

Philippe Langlois a été président de jury des 3 thèses suivantes :

Fast and efficient bit-level precision tuning

par Dorra Ben Khalifa sous la direction de Matthieu Martel et de Assalé Adje . - Perpignan

Informatique

Soutenue le 29-11-2021

Contribution à la parallélisation automatique : un modèle de processeur à beaucoup de coeurs parallélisant.

par Katarzyna Porada sous la direction de Bernard Goossens et de Gilles Sassatelli . - Perpignan

Informatique

Soutenue le 14-11-2017

Contributions à l'arithmétique flottante : codages et arrondi correct de fonctions algébriques

par Adrien Panhaleux sous la direction de Jean-Michel Muller - Lyon, École normale supérieure

Informatique

Soutenue le 27-06-2012

Philippe Langlois a été rapporteur des 3 thèses suivantes :

Amélioration de la fiabilité numérique de codes de calcul industriels

par Romain Picot sous la direction de Fabienne Jézéquel - Sorbonne université

Informatique

Soutenue le 27-03-2018

Tools for the Design of Reliable and Efficient Functions Evaluation Libraries

par Serge Torres sous la direction de Jean-Michel Muller - Lyon

Informatique

Soutenue le 22-09-2016

Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic

par Hong Diep Nguyen sous la direction de Gilles Villard - Lyon, École normale supérieure

Informatique

Soutenue le 18-01-2011

Philippe Langlois a été membre de jury des 2 thèses suivantes :

Méthodes et outils pour définir et véhiculer une identité sonore : application au design sonore identitaire de la marque SNCF

par Maxime Carron sous la direction de Patrick Susini et de Nicolas Misdariis . - Paris 6

Sciences cognitives

Soutenue le 26-04-2016

Solving dense linear systems on accelerated multicore architectures

par Adrien Rémy sous la direction de Marc Baboulin - Paris 11

Informatique

Soutenue le 08-07-2015