Systems

2024-08-26 Modeling BBRv1's Interactions with Loss-Bassed Congestion Control
2024-08-05 Oblivious Maps for Trusted Execution Environments
2024-07-31 Efficient Anonymous Blocklisting
2024-05-10 Precise Data Center Traffic Engineering with Constrained Hardware Resources
2024-05-08 Understanding Setup Times
2024-04-24 Boot: accelerating training data generation for self-driving database management systems
2024-01-12 Baleen: ML admission & prefetching for flash caches
2023-12-15 Mimir: Finding cost-efficient storage configurations in the public cloud
2023-09-20 FIFO is Better than LRU: the Power of Lazy Promotion and Quick Demotion
2023-08-03 Verus: A tool for verified systems code in Rust
2023-07-19 Code Conversion in Distributed Storage Systems
2023-02-17 Designing Data Structures for Collaborative Apps
2022-05-02 Kangaroo: Caching billions of tiny objects on flash
2021-08-16 Hello World