5 citations · 6 across the 2 of their papers we have counts for
2 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.PL2020★ 1 cited
CISE3: Verifying Weakly Consistent Applications with Why3
Filipe Meirim, Mário Pereira, Carla Ferreira
In this paper we present a tool for the formal analysis of applications built on top of replicated databases, where data integrity can be at stake. To address this issue, one can i…