SLFS is the first distributed file system built entirely on serverless functions for data and metadata, achieving 580x cold-start mitigation and up to 68% lower cost than EFS, Ceph, and λFS.
Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrish- nan, Marcos K
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
The paper introduces certified virtual cuts and proves per-key replay equality for wellformed DBLog runs, with all proofs machine-checked in Isabelle/HOL.
A threshold-based splay rotation design for concurrent BSTs improves throughput on skewed workloads and proves static optimality for the sequential read-only case.
citing papers explorer
-
SLFS: a Flexible, Low-Cost Distributed File System Using Serverless Designs
SLFS is the first distributed file system built entirely on serverless functions for data and metadata, achieving 580x cold-start mitigation and up to 68% lower cost than EFS, Ceph, and λFS.
-
A Theoretical Study of DBLog: Certified Virtual Cuts for a Snapshot-Equivalent Replay of Live Databases
The paper introduces certified virtual cuts and proves per-key replay equality for wellformed DBLog runs, with all proofs machine-checked in Isabelle/HOL.
-
Concurrent Splay-Based Tree
A threshold-based splay rotation design for concurrent BSTs improves throughput on skewed workloads and proves static optimality for the sequential read-only case.