国内两个
How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service
Jingkai He, Yunpeng Dong, Dong Du (Shanghai Jiao Tong University); Mo Zou, Zhitai Yu, Yuxin Ren, Ning Jia (Huawei Technologies); Yubin Xia, Haibo Chen (Shanghai Jiao Tong University)
Best Paper Award
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
Junyang Zhang (Peking University and Zhongguancun Laboratory); Xiangcan Xu, Yonghao Zou (Peking University); Zhe Tang (Peking University and Zhongguancun Laboratory); Xinyi Wan (Ant Group); Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang (Peking University and Zhongguancun Laboratory); Hao Chen (CertiK); Lin Huang, Shoumeng Yan (Ant Group); Yuval Tamir (UCLA); Yingwei Luo, Xiaolin Wang, Huashan Yu (Peking University and Zhongguancun Laboratory); Zhenlin Wang (Michigan Tech); Hongliang Tian (Ant Group); Diyu Zhou (Peking University)
Best Paper Award
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
Hao Sun, Zhendong Su (ETH Zurich)
Best Paper Award
