Outils

Agenda de l'ENS de Lyon

Structures concurrentes en sémantique des jeux / Concurrent structures in game semantics

Soutenance de thèse

Jeudi 13 juil 2017
10h30
Soutenance de thèse de M. Simon CASTELLAN du LIP sous la direction de M. Olivier LAURENT

Intervenant(s)

Soutenance de thèse de M. Simon CASTELLAN du LIP sous la direction de M. Olivier LAURENT

Description générale
La sémantique des jeux permet l'étude et la modélisation abstraite des langages de programmation d'un point de vue mathématique, en gardant assez d'informations concrètes sur la structure des programmes, mais en laissant de côté les détails superflus.
Durant mon doctorat, j'ai travaillé sur l'association de la sémantique des jeux avec les structures d'événements pour proposer des modèles dénotationnels vraiment concurrents de langages concurrents d'ordre supérieur.
Dans un premier temps, je construis un modèle réalisant cette association, qui retient suffisamment d'informations sur le comportement des programmes pour interpréter adéquatement une grande variété de langages concurrents et non déterministes pour des notions fines de convergences. La construction de ce modèle se base sur l'introduction de symétrie afin d'établir que le modèle forme une catégorie cartésienne fermée.
Dans un second temps, je propose une généralisation dans ce cadre des notions d'innocence et de bon parenthésage, essentielles en sémantique des jeux pour comprendre les effets calculatoires, et résolvant ainsi des problèmes ouverts de la sémantique des jeux concernant l'innocence concurrente et non-déterministe.
Dans un dernier temps je propose une interprétation dans ce modèle, de langages concurrents avec mémoire faible, un des premiers travaux de sémantique dénotationnelle pour ce type de langages. Bien que théoriques, ces modèles sont compositionnels et basés sur des ordres partiels, et donc pourraient permettre de faire passer la vérification de programmes concurrents à l'échelle (une problématique importante du domaine).
Complément

Amphi B - Site Monod - ENS de Lyon

Disciplines