Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Employeur: INRIA Date de debut de thèse: 1 septembre 2019 Date soutenance de thèse: 5 septembre 2023 Directeur de thèse: Mesaac MAKPANGOU (LIP6) Directeur de thèse: Marc SHAPIRO (LIP6) Directeur de thèse: Ahmed BOUAJJANI (IRIF) Sujet de thèse: A modular and uniform programming environment for high-level distributed computing Thématique : Systèmes et réseaux
Employeur: INRIA Date de debut de thèse: 1 septembre 2019 Date soutenance de thèse: 5 septembre 2023 Directeur de thèse: Mesaac MAKPANGOU (LIP6) Directeur de thèse: Marc SHAPIRO (LIP6) Directeur de thèse: Ahmed BOUAJJANI (IRIF) Sujet de thèse: A modular and uniform programming environment for high-level distributed computing Thématique : Systèmes et réseaux
Soutenance de thèse
Données générales
Titre : Varda: a language for programming distributed systems by composition
Date : 5 septembre 2023
Heure: 09:00
Résumé : A common approach to computer systems is to assemble off-the-shelf (OTS) components. Instead of interconnecting their APIs manually, which is complex and error-prone, we propose the Varda composition language.
A Varda program describes a system's components (the unit of encapsulation), and their safe communication. A component's interface specifies the syntax, ordering, and properties of its messages. A shield restricts the possible behaviours of an OTS component. Components may communicate only if in the same scope and if they have compatible interfaces. A component orchestrates the lifecycle and communication of its inner components.
The Varda compiler verifies protocols (both statically and dynamically), generates communication and lifecycle code, and applies property-preserving
optimizations, such as component co-location and inlining.
Our experiments show that Varda applications are compact, exhibit modular and reusable design, and have a modest run-time overhead.
Lieu : 4 place Jussieu, 75005
salle 25-26/105
Rapporteurs/ Rapporteuses
| Personne | Qualité | Etablissement |
|---|---|---|
| M. Pottier François | Directeur de recherche (HDR) | Inria-Paris |
| M. François Taiani | Professeur des universités | Institut de Recherche en Informatique et Systèmes Aléatoires, Univ. Rennes |
Composition du jury
| Personne | Qualité | Etablissement |
|---|---|---|
| Mme. Mezini Mira | Professeure des universités | Technische Universität Darmstadt (Allemagne) |
| Mme. Cezara Dragoi | Industrielle | AMAZON (États-Unis) |
| M. Pottier François | Directeur de recherche (HDR) | Inria-Paris |
| M. Shapiro Marc | Directeur de recherche (HDR) | LIP6, Sorbonne Université |
| M. Bouajjani Ahmed | Professeur des universités | Institut de Recherche en Informatique Fondamentale, Univ. de Paris Cité |
| M. Makpangou Mesaac | Chargé de recherche (HDR) | LIP6, Sorbonne Université, INRIA |
| M. Guatto Adrien | Maître de Conférences | Institut de Recherche en Informatique Fondamentale, Univ. de Paris Cité |
| M. François Taiani | Professeur des universités | Institut de Recherche en Informatique et Systèmes Aléatoires, Univ. Rennes |