[SOSP ‘26] StarfishOS: Revisiting Single System Image on CXL with State-Partitioned Microkernel.Fangnuo Wu, Jingsheng Yan, Mingkai Dong, Wenjun Cai, Jingwei Xu, Tong Xin, Haibo Chen. The 32nd ACM Symposium on Operating Systems Principles (SOSP ‘26), Prague, Czechia, September 29–October 2, 2026. (to appear)
[BigMem ‘26] CXL-SDK: Building a Software Development Kit for CXL Shared Memory.Fangnuo Wu, Mingkai Dong, Haibo Chen. The International Workshop on Big Memory (BigMem 2026), Co-located with SOSP 2026, Czechia, September 29th, 2026. (to appear)
[Preprint] Guidelines for Building Indexes on Partially Cache-Coherent CXL Shared Memory.Fangnuo Wu, Mingkai Dong, Wenjun Cai, Jingsheng Yan, Haibo Chen. arXiv preprint, November 2025. paper
[VLDB ‘26] SIDLE: Tree-structure Aware Indexes for CXL-based Heterogeneous Memory. Haoru Zhao, Mingkai Dong, Fangnuo Wu, Haibo Chen. Proceedings of the VLDB Endowment, August–September 2026. paper · code
[TOCS ‘25] Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel. Mingkai Dong, Fangnuo Wu, Gequan Mo, Haibo Chen. ACM Transactions on Computer Systems, 43(3), July 2025. paper
[SOSP ‘23] TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM.Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen. The 29th ACM Symposium on Operating Systems Principles, Koblenz, Germany, October 2023. Best Paper Award. paper · code · talk
[FAST ‘22] HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen. The 20th USENIX Conference on File and Storage Technologies, Santa Clara, CA, USA, February 2022. paper · slides