Projects

analytical modeling

TTL Approximations for CLOCK(K) Cache Replacement

We extend TTL approximations to CLOCK(K), deriving a tractable matrix-analytic model for its steady-state performance under phase-type renewal traffic.

Caching Under Uncertainty with Randomized CLOCK/SIEVE Replacement (SIGMETRICS 26)

We introduce a randomized, scan-resistant CLOCK/SIEVE variant using a single circular array and only ⌈log2(K+1)⌉ ≥ 1 access bits per cached item, and derive a heterogeneous mean-field approximation for its performance.

microbenchmarks

A Cache-Accurate Storage Microbenchmark (EuroSys'26)

2DIO is a configurable I/O trace generator capable of producing cache-accurate workloads with tunable performance cliffs and plateaus.

A library for cache simulation

High-performance cache simulators including several Sigmetrics' algorithms and a new array-based LRU algorithm.

Generating high-fidelity I/O traces with GAN

Reproduction of LSTM-based GAN synthetic I/O generation proposed by Zhang et al. (2024).

distributed systems

QoS, Fairness and Isolation in One Formula

A unified linear programming formula for optimal per-VM IOPS allocation under QoS and device constraints.

A Distributed Object Store built on Conventional File System

This is an emulation of a distributed store system built on Zoned Namespace SSDs. The system guarantees strong consistency and fault tolerant.