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
∙
09/21/2020
Towards application-specific query processing systems
Database systems use query processing subsystems for enabling efficient ...
research
∙
03/07/2019
Invariant Safety for Distributed Applications
We study a proof methodology for verifying the safety of data invariants...
research
∙
10/03/2018
Distributed transactional reads: the strong, the quick, the fresh & the impossible
This paper studies the costs and trade-offs of providing transactional c...
research
∙
07/17/2018
Improving the "Correct Eventual Consistency" Tool
Preserving invariants while designing distributed applications under wea...
research
∙
05/16/2018
Conflict-free Replicated Data Types (CRDTs)
A conflict-free replicated data type (CRDT) is an abstract data type, wi...
research
∙
04/03/2018
Database Consistency Models
A data store allows application processes to put and get data from a sha...
research
∙
03/12/2018
A Modular Design for Geo-Distributed Querying
Most distributed storage systems provide limited abilities for querying ...
research
∙
03/09/2018
Ensuring referential integrity under causal consistency
Referential integrity (RI) is an important correctness property of a sha...
research
∙
01/19/2018
Just-Right Consistency: reconciling availability and safety
By the CAP Theorem, a distributed data storage system can ensure either ...
research
∙
12/13/2017