Fiche de PEPIN Martin

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Employeur: SU


Date de debut de thèse: 1 septembre 2018
Date soutenance de thèse: 29 septembre 2021
Encadrant : Frédéric PESCHANSKI (LIP6)
Directeur de thèse: Antoine GENITRINI (LIP6)
Sujet de thèse: Analyse quantitative de la concurrence. Application à la vérification statistique de modèle dans les systèmes de grandes tailles. Numéro PRD: 5106
Contrat thèse: Programmes Doctoraux

Date de prévisionnelle de soutenance: 29 septembre 2021

Soutenance de thèse

Données générales

Titre : Quantitative and algorithmic analysis of concurrent programs
Date : 29 septembre 2021
Heure: 10:00
Résumé : Dans cette thèse nous étudions l'espace d'état des programmes concurrents à l'aide des outils de la combinatoire analytique. Dans un premier temps nous analysons une classe de programmes utilisant du parallélisme, du choix non déterministe, des boucles et de la synchronisation de type fork-join. Pour cette classe nous proposons des résultats quantitatifs sur l'explosion combinatoire de l'espace d'état et des outils algorithmiques efficaces de génération aléatoire uniforme d'exécutions. Dans un second temps nous étudions une nouvelle classe de graphes dirigés sans cycles en tant qu'approximation des ordres partiels, eux mêmes modélisant fidèlement le flot de contrôle des programmes concurrents. Pour cette classe nous proposons un algorithme de génération aléatoire uniforme efficace à nombre de sommets et d'arêtes fixés. Finalement, nous étudions aussi des aspects algorithmiques et pratiques de la génération aléatoire dont le champ d'application dépasse le cadre de la concurrence.
Lieu : Jussieu

Rapporteurs/ Rapporteuses

Personne Qualité Etablissement
M. Kauers Manuel Professeur des universités Autriche
M. Ravelomanana Vlady Professeur des universités Institut de Recherche en Informatique Fondamentale Univ. Paris

Composition du jury

Personne Qualité Etablissement
M. Bodini Olivier Professeur des universités Laboratoire d'Informatique de Paris Nord
M. Genitrini Antoine Maître de Conférences (HDR) LIP6 Sorbonne Université
M. Kauers Manuel Professeur des universités Autriche
M. Peschanski Frédéric Maître de Conférences LIP6 Sorbonne Université
M. Poitrenaud Denis Maître de Conférences LIP6 Sorbonne Université
Mme. Pons Viviane Maîtresse de Conférences Laboratoire d'Informatique
M. Ravelomanana Vlady Professeur des universités Institut de Recherche en Informatique Fondamentale Univ. Paris
Mme. Tasson Christine Professeure des universités LIP6 Sorbonne Université