TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. - Fangnuo Wu; Mingkai Dong 002; Gequan Mo; Haibo Chen 001 (SOSP, 2023)

Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel. - Mingkai Dong 002; Fangnuo Wu; Gequan Mo; Haibo Chen 001 (ACM Trans. Comput. Syst., 2025)