Stories by mlerner

Segcache: A memory-efficient and scalable in-memory cache for small objects

A large scale analysis of hundreds of in-memory cache clusters at Twitter

Kangaroo: Caching Billions of Tiny Objects on Flash

Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

Log-Structured Protocols in Delos

Faster and Cheaper Serverless Computing on Harvested Resources

GhOSt: Fast and Flexible User-Space Delegation of Linux Scheduling

LineFS: SmartNIC Offload of a Distributed File System with Pipeline Parallelism

Using Lightweight Formal Methods to Validate a KV Storage Node in Amazon S3

What Serverless Computing Is and Should Become: The Next Phase of Cloud Compute

Faster and Cheaper Serverless Computing on Harvested Resources

Serverless in the Wild: Characterizing and Optimizing Serverless at scale

Providing SLOs for Resource-Harvesting VMs in Cloud Platforms

Faster and Cheaper Serverless Computing on Harvested Resources

Firmament: Fast, Centralized Cluster Scheduling at Scale

Log-Structured Protocols in Delos,a platform for building on a replicated log

Faster and Cheaper Serverless Computing on Harvested Resources [pdf]

Backpressure explained – the resisted flow of data through software

Dominant Resource Fairness: Fair Allocation of Multiple Resource Types [pdf]

Virtual Consensus in Delos

7
8
9
10
11
12
13