PROSPERI Laurent

Tiến sĩ
Nhóm nghiên cứu : DELYS
Ngày đi : 09/30/2023
https://lip6.fr/Laurent.Prosperi
https://lip6.fr/Laurent.Prosperi

Ban lãnh đạo nghiên cứu : Mesaac MAKPANGOU

Đồng hướng dẫn : SHAPIRO Marc

Varda: a language for programming distributed systems by composition

Large distributed systems are often built by assembling off-the-shelf (OTS) components developed independently. The current approach is to interconnect their APIs manually. This is ad-hoc, complex, tedious, and error-prone.
To address this issue, Varda offers a higher-level language, motivated by a vision of safe-by design. To express a system, a programmer describes its architecture, involving OTS components, using well-defined entities and constraints. To provide safety, the compiler performs static verification, generates a correct-by-construction implementation and inject dynamic checks. To enhance programmers’ productivity, Varda offloads the boilerplate plumbing to the compiler. To improve performance, the compiler applies property-preserving optimisations (e.g., component inlining).
Our experiments show that Varda applications are compact, exhibit modular and reusable design, and have a modest run-time overhead.

Bảo vệ luận án : 09/05/2023

Hội đồng giám khảo :

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

Ngày đi : 09/30/2023

Bài báo khoa học 2020-2023

Mentions légales
Sơ đồ site