Boki is a new serverless runtime that exports a shared log API to serverless functions. Boki
shared logs enable stateful serverless applications to manage their state with durability …

Data is a precious resource in today's society, and it is generated at an unprecedented and
constantly growing pace. The need to store, analyze, and make data promptly available to a …

Data is at the center of many challenges in system design today. Difficult issues need to be
figured out, such as scalability, consistency, reliability, efficiency, and maintainability. In …

Distributed in-memory key-value (KV) stores are embracing the disaggregated memory (DM)
architecture for higher resource utilization. However, existing KV stores on DM employ …

Wi-Fi based fingerprinting systems, mostly utilize the Received Signal Strength Indicator
(RSSI), which is known to be unreliable due to environmental and hardware effects. In this …

Replicated storage for large Web services faces a trade-off between stronger forms of
consistency and higher performance properties. Stronger consistency prevents anomalies …

We describe the design, implementation, and evaluation of Occult (Observable Causal
Consistency Using Lossy Timestamps), the first scalable, geo-replicated data store that …

This paper presents the design, implementation, and evaluation of Saturn, a metadata
service for geo-replicated systems. Saturn can be used in combination with several …

This paper introduces the first state-based formalization of isolation guarantees. Our
approach is premised on a simple observation: applications view storage systems as black …

Programming with replicated objects is difficult. Developers must face the fundamental trade-
off between consistency and performance head on, while struggling with the complexity of …