CMU CSD PhD Blog
Home
Areas
Tags
RSS Feed
CMU CSD PhD Blog
Home
Areas
Tags
RSS Feed
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