NAIR Sreeja

Engineer
Team : REGAL
Departure date : 12/31/2017
https://lip6.fr/Sreeja.Nair

Departure date : 12/31/2017

2017-2021 Publications

All Communications Thesis Other publications

2021
- S. Nair : “Designing safe and highly available distributed applications”, thesis, phd defence 07/01/2021, supervision Shapiro, Marc (2021)
- S. Nair, F. Meirim, M. Pereira, C. Ferreira, M. Shapiro : “A coordination-free, convergent, and safe replicated tree”, 36 pages (2021)
2020
- S. Nair, G. Petri, M. Shapiro : “Proving the safety of highly-available distributed objects”, ESOP 2020 - 29^th European Symposium on Programming, Dublin, Ireland (2020)
- S. Nair, G. Petri, M. Shapiro : “Proving the safety of highly-available distributed objects (Extended version)”, (2020)
2019
- S. Nair, G. Petri, M. Shapiro : “Invariant Safety for Distributed Applications”, Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Dresden, Germany (2019)
2018
- S. Nair, M. Shapiro : “Improving the "Correct Eventual Consistency" Tool”, (2018)
2017
- S. Nair : “Evaluation of the CEC (Correct Eventual Consistency) Tool”, 1-27 pages (2017)