HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. - Jifei Yi; Mingkai Dong 002; Fangnuo Wu; Haibo Chen 001 (FAST, 2022)

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)

Optimizing Tree-structure Indexes for CXL-based Heterogeneous Memory with SINLK. - Haoru Zhao; Mingkai Dong 002; Fangnuo Wu; Haibo Chen 001 (CoRR, 2025)