research
∙
10/13/2021
Efficient Linearizability Checking for Actor-based Systems
Recent demand for distributed software had led to a surge in popularity ...
share
research
∙
02/25/2021
BPF for storage: an exokernel-inspired approach
The overhead of the kernel storage path accounts for half of the access ...
research
∙
06/05/2020
Achieving High Throughput and Elasticity in a Larger-than-Memory Store
Millions of sensors, mobile applications and machines are now generating...
research
∙
02/08/2017
Flashield: a Key-value Cache that Minimizes Writes to Flash
As its price per bit drops, SSD is increasingly becoming the default sto...
research
∙
10/26/2016