Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization. - Yuxing Xiang; Rilin Huang; Naiqian Zheng; Xin Jin 008 (NSDI, 2026)

DualPath: Breaking the Storage Bandwidth Bottleneck in Agentic LLM Inference. - Yongtong Wu; Shaoyuan Chen; Yinmin Zhong; Rilin Huang; Yixuan Tan; Wentao Zhang; Liyue Zhang; Shangyan Zhou; Yuxuan Liu; Shunfeng Zhou; Mingxing Zhang; Xin Jin 008; et al. (CoRR, 2026)