Stories by mlerner

Faster and Cheaper Serverless Computing on Harvested Resources

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

Parallel Algebraic Effect Handlers

Applying Formal Verification to Microkernel IPC at Meta [pdf]

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

Decoupling IP from services and sockets for addressing agility at Cloudflare

Decoupling IP from services and sockets for addressing agility at Cloudflare

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

Faster and Cheaper Serverless Computing on Harvested Resources

Shard Manager: Facebook's Sharding Framework for Geo-Distributed Applications

Deterministic Aperture: A distributed, load balancing algorithm

The QUIC Transport Protocol: Design/Internet-Scale Deployment (SIGCOMM17) [pdf]

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

Kangaroo: Caching Billions of Tiny Objects on Flash

Survey and Comparison of Open Source Time Series Databases [pdf]

Perspectives on the Cap Theorem [pdf]

Monarch: Google’s Planet-Scale In-Memory Time Series Database [pdf]

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

Partitioning the internet using Anycast catchments [pdf]

Akamai DNS: Providing Authoritative Answers to the World’s Queries [pdf]

4
5
6
7
8
9
10
11
12
13