Publications

APSys '26 File Systems
SpongeFS: A Criticality-Aware File System for Dependency-Safe Space Reclamation
Shuyun Gui, Yifan Zhao, Mingkai Dong.
In Proceedings of the 17th Asia-Pacific Workshop on Systems (APSys '26), Bangkok, Thailand, September 17-18, 2026.
SOSP '26 DNA Storage File Systems
ProbeFS: Hierarchical DNA File Systems via Biochemical Content Addressability and Parallelism
Ruihan Li, Yuankun Zhang, Mingkai Dong, Yaya Hao, Fei Wang, Chunhai Fan, Haibo Chen.
In Proceedings of the 32nd Symposium on Operating Systems Principles (SOSP '26), Prague, Czechia, September 29-October 2, 2026.
SOSP '26 Microkernel CXL Single System Image
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.
In Proceedings of the 32nd Symposium on Operating Systems Principles (SOSP '26), Prague, Czechia, September 29-October 2, 2026.
OSDI '26 Inference Mobile Systems QoS Bandwidth Isolation Mobile Intelligence
Inference in the Shadows: Taming Memory Bandwidth Contention in Mobile LLM Inference with Sereno
Tong Xin, Xinrui Shi, Mingkai Dong, Zeyu Mi.
In Proceedings of the 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26), Seattle, WA, US, July, 2026.
Paper Official
OSDI '26 Indexing GPU ANNS Tiering Storage
Disentangling Graph Dependencies for Efficient Billion-Scale GPU Vector Search
Haoru Zhao, Jingkai He, Jingyao Zeng, Mingkai Dong, Dong Du.
In Proceedings of the 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26), Seattle, WA, US, July, 2026.
Paper Official
VLDB '26 Indexing CXL Tiering Storage
SIDLE: Tree-structure Aware Indexes for CXL-based Heterogeneous Memory
Haoru Zhao, Mingkai Dong, Fangnuo Wu, Haibo Chen.
In Proceedings of the VLDB Endowment (PVLDB '26), MA, USA, August 31-September 4, 2026.
EuroSys '26 Reranking Mobile Systems Mobile Intelligence
On-device Semantic Selection Made Low Latency and Memory Efficient with Monolithic Forwarding
Jiahao Zhou, Chengliang Lin, Dingji Li, Mingkai Dong, Haibo Chen.
In Proceedings of the 21st European Conference on Computer Systems (EuroSys '26), Edinburgh, UK, April, 2026.
Paper Code Official
FAST '26 Indexing Data Centers
"Range as a Key" is the Key! Fast and Compact Cloud Block Store Index with RASK
Haoru Zhao, Mingkai Dong, Erci Xu, Zhongyu Wang, Haibo Chen.
In Proceedings of the 24th USENIX Conference on File and Storage Technologies (FAST '26), Santa Clara, CA, US, February, 2026.
Paper Slides Code Official
EuroSys '26 Distributed File Systems Networking
SwitchFS: Asynchronous Metadata Updates for Distributed Filesystems with In-Network Coordination
Jingwei Xu, Mingkai Dong, Qiulin Tian, Ziyi Tian, Tong Xin and Haibo Chen.
In Proceedings of the 21st European Conference on Computer Systems (EuroSys '26), Edinburgh, UK, April, 2026.
Paper Official
NSDI '26 Distributed File Systems
FalconFS: Distributed File System for Large-Scale Deep Learning Pipeline
Jingwei Xu, Junbin Kang, Mingkai Dong, Mingyu Liu, Lu Zhang, Shaohong Guo, Ziyan Qiu, Mingzhen You, Ziyi Tian, Anqi Yu, Tianhong Ding, Xinwei Hu, and Haibo Chen.
In Proceedings of the 23rd USENIX Symposium on Networked Systems Design and Implementation (NSDI '26), Renton, WA, USA, May 4–6, 2026.
Paper Slides Code Official
TOCS Microkernel Whole-system Persistence Persistent Memory
Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel
Mingkai Dong, Fangnuo Wu, Gequan Mo, and Haibo Chen.
ACM Transactions on Computer Systems, 2025.
Official
FAST '25 DNA Storage
Liquid-State Drive: A Case for DNA Block Device for Enormous Data
Jiahao Zhou, Mingkai Dong, Fei Wang, Jingyao Zeng, Lei Zhao, Chunhai Fan, Haibo Chen.
In Proceedings of the 23rd USENIX Conference on File and Storage Technologies (FAST '25), Santa Clara, CA, US, February, 2025.
Paper Slides Code Official
OSDI '24 File Systems Verification
Using Dynamically Layered Definite Releases for Verifying the RefFS File System
Mo Zou, Dong Du, Mingkai Dong, Haibo Chen.
In Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24), Santa Clara, CA, US, July, 2024.
Paper Official
SOSP '23 Best Paper Award! Microkernel Whole-system Persistence Persistent Memory
TreeSLS: A Tree-structured Microkernel with Efficient Whole-system Persistence on NVM
Best Paper Award! Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen.
In Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP '23), Koblenz, Germany, October 23-26, 2023.
Paper Code Official
Nature DNA Storage & Computing
DNA-based programmable gate arrays for general-purpose DNA computing
Hui Lv, Nuli Xie, Mingqiang Li, Mingkai Dong, Chenyun Sun, Qian Zhang, Lei Zhao, Jiang Li, Xiaolei Zuo, Haibo Chen, Fei Wang, Chunhai Fan.
Nature (2023).
Official
FAST '22 File Systems Persistent Memory
HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems
Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen.
In the 20th USENIX Conference on File and Storage Technologies (FAST '22), Santa Clara, CA, USA, February 22-24, 2022.
Paper Slides Official
FAST '22 Persistent Memory QoS Bandwidth Isolation
MT^2: Memory bandwidth Regulation on Hybrid NVM/DRAM Platforms
Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen.
In the 20th USENIX Conference on File and Storage Technologies (FAST '22), Santa Clara, CA, USA, February 22-24, 2022.
Paper Slides Official
APSys '20
On the Precision of Precise Event Based Sampling
Jifei Yi, Benchao Dong, Mingkai Dong, Haibo Chen.
In Proceedings of the 11th Asia-Pacific Workshop on Systems (APSys '20), Tsukuba, Japan, August 2020.
Paper Official
SOSP '19 File Systems Persistent Memory
Performance and Protection in the ZoFS User-space NVM File System
Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen.
In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP '19), Ontario, Canada, October 2019.
Paper Slides Official
ATC '19 File Systems Mobile Systems
EROFS: A Compression-friendly Readonly File System for Resource-scarce Device
Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen.
In Proceedings of the 2019 USENIX Annual Technical Conference (USENIX ATC '19), Renton, WA, USA, July 2019.
Paper Slides Code Official
ATC '17 File Systems Persistent Memory
Soft Updates Made Simple and Fast for Non-volatile Memories
Mingkai Dong, Haibo Chen.
In Proceedings of the 2017 USENIX Annual Technical Conference (USENIX ATC '17), Santa Clara, CA, USA, July 2017.
Paper Slides Code Official
TOS Distributed K/V Erasure Coding
Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication
Haibo Chen, Heng Zhang, Mingkai Dong, Zhaoguo Wang, Yubin Xia, Haibing Guan and Binyu Zang.
ACM Transactions on Storage, 2017.
APSys '16 File Systems Persistent Memory
Rethinking Benchmarking for NVM-based File Systems
Mingkai Dong, Qianqian Yu, Xiaozhou Zhou, Yang Hong, Haibo Chen and Binyu Zang.
In Proceedings of the 7th Asia-Pacific Workshop on Systems (APSys '16), Hong Kong, China, August 2016.
Official
FAST '16 Distributed K/V Erasure Coding
Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication
Heng Zhang, Mingkai Dong, Haibo Chen.
In Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST '16), Santa Clara, CA, USA, February 2016.
Code Official
CAL Persistent Memory Architecture
Persistent Transactional Memory
Zhaoguo Wang, Han Yi, Ran Liu, Mingkai Dong and Haibo Chen.
IEEE Computer Architecture Letters, 2015.