research
∙
07/21/2021
Decidability of Liveness on the TSO Memory Model
An important property of concurrent objects is whether they support prog...
share
research
∙
12/07/2019
Programming Scalable Cloud Services with AEON
Designing low-latency cloud-based applications that are adaptable to unp...
research
∙
03/15/2019
Replication-Aware Linearizability
Geo-distributed systems often replicate data at multiple locations to ac...
research
∙
03/07/2019
Invariant Safety for Distributed Applications
We study a proof methodology for verifying the safety of data invariants...
research
∙
03/09/2018