5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.DC2021★ 5 cited
A coordination-free, convergent, and safe replicated tree
Sreeja Nair, Filipe Meirim, Mário Pereira +2
The tree is an essential data structure in many applications. In a distributed application, such as a distributed file system, the tree is replicated.To improve performance and ava…
cs.DC2019
Invariant Safety for Distributed Applications
Sreeja Nair, Gustavo Petri, Marc Shapiro
We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason…
cs.DC2018
Improving the "Correct Eventual Consistency" Tool
Sreeja Nair, Marc Shapiro
Preserving invariants while designing distributed applications under weak consistency models is difficult. The CEC (Correct Eventual Consistency Tool) is meant to aid the applicati…