research
∙
03/08/2021
A coordination-free, convergent, and safe replicated tree
The tree is an essential data structure in many applications. In a distr...
share
research
∙
03/07/2019
Invariant Safety for Distributed Applications
We study a proof methodology for verifying the safety of data invariants...
research
∙
07/17/2018
