PROSPERI Laurent
PhD student
Team : DELYS
Arrival date : 09/01/2019
Tel: +33 1 44 27 45 15, Laurent.Prosperi (at) nulllip6.fr
https://lip6.fr/Laurent.Prosperi
Team : DELYS
Arrival date : 09/01/2019
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 26-00, Étage 2, Bureau 209
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 45 15, Laurent.Prosperi (at) nulllip6.fr
https://lip6.fr/Laurent.Prosperi
Supervision : Mesaac MAKPANGOU
Co-supervision : SHAPIRO Marc
High level distributed computing
I am working on exploring and developing new methods, tools and languages to ease the development of distributed systems. As a results deployments, consistency and fault-tolerance should be programmable as first class abstractions and not addressed by a separate system, which is the regular workaround. Finally, our approach should help avoiding many of opportunities for error, by focusing on the essential properties of application correctness, furthermore we aim to apply leverage language and verification tools, to aid the programmer in choosing the best consistency level and in synthesizing a program that respects its specification.
2020 Publications
-
2020
- B. Martin, L. Prosperi, M. Shapiro : “An environment for composable distributed computing”, EuroDW 2020 - 14th EuroSys Doctoral Workshop, Heraklion / Virtual, Greece (2020)