PEPIN Martin

Ajouter à votre agenda Doctorant
Équipe : APR
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 303
    4 place Jussieu
    75252 PARIS CEDEX 05

Tel: 01 44 27 88 16, Martin.Pepin (at) nulllip6.fr
https://lip6.fr/Martin.Pepin
https://lip6.fr/Martin.Pepin

Direction de recherche : Antoine GENITRINI

Génération aléatoire uniforme de trajectoires dans les systèmes concurrents

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.

Soutenance : 29/09/2021 - 10h - Campus Jussieu, 25-26/105 + zoom https://us02web.zoom.us/j/86369193800

Membres du jury :

KAUERS Manuel (Johannes Kepler University) [Rapporteur]
RAVELOMANANA Vlady (Université de Paris) [Rapporteur]
BODINI Olivier (Université Paris-Nord)
GENITRINI Antoine (Sorbonne Université)
PESCHANSKI Frédéric (Sorbonne Université)
POITRENAUD Denis (Université de Paris)
PONS Viviane (Université Paris-Saclay)
TASSON Christine (Sorbonne Université)

Publications 2020-2021