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, InriaFranç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
-
2023
- L. Prosperi : “Varda: a language for programming distributed systems by composition”, soutenance de thèse, soutenance 05/09/2023, direction de recherche Makpangou, Mesaac, co-encadrement : Shapiro, Marc (2023)
- B. Martin, L. Prosperi, M. Shapiro : “Transactional-Turn Causal Consistency”, Lecture Notes in Computer Science (LNCS), Limassol, Cyprus, (Springer) (2023)
-
2022
- L. Prosperi, Ah. Bouajjani, M. Shapiro : “Varda: A Framework for Compositional Distributed Programming”, NETYS 2022: The 10th International Conference on Networked Systems, vol. 13464, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 16-30, (Springer International Publishing), (ISBN: 978-3-031-17436-0) (2022)
-
2020
- B. Martin, L. Prosperi, M. Shapiro : “An environment for composable distributed computing”, EuroDW 2020 - 14th EuroSys Doctoral Workshop, Heraklion / Virtual, Greece (2020)