VM Migration and Live-Update for Reliable Embedded Hypervisor. - Siran Li; Lei Wang 126; Keyang Hu; Ce Mo; Bo Jiang 001 (SETTA, 2022)

Work-in-Progress: Unishyper, A Reliable Rust-based Unikernel for Embedded Scenarios. - Keyang Hu; Lei Wang 126; Ce Mo; Bo Jiang 001 (EMSOFT, 2023)

Rust-Shyper: A reliable embedded hypervisor supporting VM migration and hypervisor live-update. - Ce Mo; Lei Wang 126; Siran Li; Keyang Hu; Bo Jiang 001 (J. Syst. Archit., 2023)

Unishyper: A Rust-based unikernel enhancing reliability and efficiency of embedded systems. - Keyang Hu; Wang Huang; Lei Wang 126; Ce Mo; Runxiang Wang; Yu Chen 004; Ju Ren 001; Bo Jiang 001 (J. Syst. Archit., 2024)

AlloyStack: A Library Operating System for Serverless Workflow Applications. - Jianing You; Kang Chen; Laiping Zhao; Yiming Li; Yichi Chen; Yuxuan Du; Yanjie Wang; Luhang Wen; Keyang Hu; Keqiu Li (EuroSys, 2025)

Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems. - Xiaohu Chai; Tianyu Zhou; Keyang Hu; Jianfeng Tan; Tiwei Bie; Anqi Shen; Dawei Shen; Qi Xing; Shun Song; Tongkai Yang; Le Gao; Feng Yu; et al. (OSDI, 2025)