research
∙
04/14/2023
LoRe: A Programming Model for Verifiably Safe Local-First Software
Local-first software manages and processes private data locally while st...
share
research
∙
02/24/2023
Set-theoretic Types for Erlang
Erlang is a functional programming language with dynamic typing. The lan...
research
∙
02/10/2019
Antidote SQL: Relaxed When Possible, Strict When Necessary
Geo-replication poses an inherent trade-off between low latency, high av...
research
∙
03/09/2018
Ensuring referential integrity under causal consistency
Referential integrity (RI) is an important correctness property of a sha...
research
∙
01/22/2018
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases
Scalable and highly available systems often require data stores that off...
research
∙
01/19/2018
Just-Right Consistency: reconciling availability and safety
By the CAP Theorem, a distributed data storage system can ensure either ...
research
∙
10/30/2017