Catcher: A Cache Analysis System for Top-k Pub/Sub Service. - Baolong Mei; Yafei Li; Wei Chen; Linshen Luan; Guanglei Zhu; Yuanyuan Jin; Jianliang Xu (Proc. VLDB Endow., 2024)