CortenMM: Efficient Memory Management with Strong Correctness Guarantees. - Junyang Zhang; Xiangcan Xu; Yonghao Zou; Zhe Tang; Xinyi Wan; Kang Hu; Siyuan Wang; Wenbo Xu; Di Wang 017; Hao Chen 023; Lin Huang; Shoumeng Yan; et al. (SOSP, 2025)