Agrégation  Analyse  Analyse de performances  Analyse statique  Applications distribuées  Applications parallèles  C  C plus-plus  Calcul pair-à-pair de haute performance  Calcul parallèle  Calcul scientifique  Cartographie -- Informatique  Code à effacement  Environnement décentralisé  Extrapolation de performance  Flow  Fortran  Grilles informatiques  Hpc  Ingénierie des systèmes  Instrumentation automatique  Langages C, C++, Fortran  Logiciels -- Vérification  Model checking  Model-checking  Modèles  Méthodologie  NUMA  Paquet  Parallélisation  Parallélisme  Programmation parallèle  Programmes distribués asynchrones  SimGrid  Simulation  Traitement réparti  

Martin Quinson a rédigé la thèse suivante :

Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué

par Martin Quinson sous la direction de Eddy Caron et de Frédéric Desprez . - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2003

Martin Quinson dirige actuellement la thèse suivante :

Réduire la consommation énergétique de l’Internet des objets

par Clément Courageux-sudan sous la direction de Martin Quinson - Rennes, École normale supérieure

Informatique

En préparation depuis le 01-10-2020

Martin Quinson a dirigé les 4 thèses suivantes :

Scalable end-to-end models for the time and energy performance of Fog infrastructures

par Loic Guegan sous la direction de Martin Quinson et de Anne-Cécile Orgerie . - Rennes, École normale supérieure

Informatique

Soutenue le 29-01-2021

Efficient state-space exploration for asynchronous distributed programs ˸ Adapting unfolding-based dynamic partial order reduction to MPI programs

par The Anh Pham sous la direction de Martin Quinson et de Thierry Jéron . - Rennes, École normale supérieure

Informatique

Soutenue le 27-12-2019

Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles

par Marion Guthmuller sous la direction de Sylvain Contassot-Vivier et de Martin Quinson . - Université de Lorraine

Informatique

Soutenue le 29-06-2015

Vérification des performances et de la correction des systèmes distribués

par Cristian Rosa sous la direction de Stephan Merz et de Martin Quinson . - Nancy 1

Informatique

Soutenue le 24-10-2011

Martin Quinson a été président de jury des 2 thèses suivantes :

Analyzing the memory behavior of parallel scientific applications

par David Beniamine sous la direction de Bruno Raffin - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 05-12-2016

A Reproducible Research Methodology for Designing and Conducting Faithful Simulations of Dynamic HPC Applications

par Luka Stanisic sous la direction de Jean-François Méhaut et de Arnaud Legrand . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 30-10-2015

Martin Quinson a été rapporteur des 2 thèses suivantes :

Code à effacement Mojette pour le stockage distribué

par Dimitri Pertin sous la direction de Nicolas Normand et de Benoît Parrein . - Nantes

Informatique et applications

Soutenue en 2016

Agrégation spatiotemporelle pour la visualisation de traces d'exécution

par Damien Dosimont sous la direction de Guillaume Huard - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 10-06-2015

Martin Quinson a été membre de jury de la thèse suivante :

Prédiction de performances d’applications de calcul distribué exécutées sur une architecture pair-à-pair

par Bogdan Florin Cornea sous la direction de Julien Bourgeois - Besançon

Informatique

Soutenue le 08-12-2011