Themis: Scheduling-Aware Buffer Management for HBM-Based Hybrid Buffers. - Zhiyu Zhang 012; Minkun Xue; Kan Yu; Ruyi Yao; Shili Chen; Hao Mei; Zixuan Chen; Weiyi Chen; Yibo Fan; Yang Xu 010 (NSDI, 2026)