PROSPERI Laurent

Docteur
Équipe : DELYS
Date de départ : 30/09/2023
https://lip6.fr/Laurent.Prosperi
https://lip6.fr/Laurent.Prosperi

Direction de recherche : Mesaac MAKPANGOU

Co-encadrement : SHAPIRO Marc

Varda: un langage pour la programmation de systèmes distribués par composition

Les systèmes distribués sont souvent construits en assemblant des composants prêts à l’emploi (OTS) développés indépendamment. La pratique actuelle consiste à interconnecter manuellement leurs API. Cette méthode est complexe, fastidieuse et sujette aux erreurs.
Pour résoudre ce problème, Varda propose un langage de haut niveau prenant en compte la correction des systèmes dès la conception. Un programme Varda décrit l’architecture du système à l’aide d’entités et de contraintes formelles. Le compilateur vérifie statiquement l’architecture, génère une implémentation correcte et injecte des tests dynamiques. Pour gagner en productivité, Varda automatise la génération du code d’interconnexion. Pour améliorer les performances, le compilateur applique des optimisations préservant la sémantique du système.
Nos expériences montrent que les applications Varda sont compactes, modulaires, et ont un surcoût modeste à l’exécution.

Soutenance : 05/09/2023

Membres du jury :

François POTTIER, Directeur de Recherche, Inria
François TAIANI, Professeur des universités, IRISA, Université de Rennes
Cezara DRǍGOI, Applied Scientist, Amazon Web Service
Adrien GUATTO, Maître de conférences, IRIF, Université Paris Cité
Mira MEZINI, Professeure des universités, Technical University of Darmstadt
Ahmed BOUAJJANI, Professeur des universités, IRIF, Université Paris Cité
Mesaac MAKPANGOU, Chargé de recherche, Sorbonne Université, LIP6, Inria
Marc SHAPIRO, Directeur de recherche (émérite), Sorbonne Université, LIP6, Inria

Date de départ : 30/09/2023

Publications 2020-2023

Mentions légales
Carte du site