董明凯

副教授

mingkaidong@sjtu.edu.cn

研究领域

操作系统、文件与存储系统、DNA 存储与计算

个人简介

上海交通大学副教授，分别于2015年和2021年获得上海交通大学学士和博士学位。 主要研究方向为操作系统、文件与存储系统、DNA存储与计算，相关工作发表在SOSP、OSDI、FAST、USENIX ATC等操作系统顶级国际会议。 曾获SOSP2023最佳论文奖、2022年华为“火花奖”、英特尔中国学术英才计划2022年度荣誉学者、2020年华为奥林帕斯先锋奖。 研制的高性能持久内存文件系统SoupFS进入OpenEuler操作系统创新版；与华为合作的EROFS成为首个合入Linux内核主线的国人自主研发的文件系统，并已经成为Android系统分区的官方文件系统，运行在亿级智能手机之中。

英文主页

研究方向

1. 文件与存储系统

数据存储是计算机系统研究重要的主题之一，在文件与存储系统方面，我们小组主要关注如何结合应用特性发挥存储硬件性能，具体的研究包括：

  • 持久内存文件系统 SoupFS (ATC ‘17), ZoFS (SOSP ‘19), HTMFS (FAST ‘22), MT^2 (FAST ‘22)
  • 全系统持久化 TreeSLS (TC 2025, SOSP ‘23)
  • 端侧文件系统 EROFS (ATC ‘19)
  • 文件系统形式化验证 RefFS (OSDI ‘24)
  • 分布式文件系统 SwitchFS (EuroSys ‘26), FalconFS (NSDI ‘26)

在此方向，我们目前的研究关注点：

  • 端侧文件的语义检索
  • 多模态数据的存储抽象与存储方法

相关论文：

  • [EuroSys ‘26] 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 21th European Conference on Computer Systems (EuroSys ‘26), Edinburgh, UK, April, 2026.
  • [NSDI ‘26] 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.
  • [TC 2025] Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel. Mingkai Dong, Fangnuo Wu, Gequan Mo, Haibo Chen. ACM Transactions on Computer Systems (2025).
  • [OSDI ‘24] 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.
  • [SOSP ‘23][最佳论文奖，亚太地区首次] 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, Octobar 23-26, 2023.
  • [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. In the 20th USENIX Conference on File and Storage Technologies (FAST ‘22), Santa Clara, CA, USA, February 22-24, 2022.
  • [FAST ‘22] 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.
  • [SOSP ‘19] 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.
  • [ATC ‘19] 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.
  • [ATC ‘17] 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.
  • [APSys ‘16] 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.
  • [ToS 2017] 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).
  • [FAST ‘16] 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.

2. CXL/UB互联系统

CXL/UB等新型互联技术允许“一台计算机通过CPU指令直接访问到其他计算机的内存”，我们小组关注如何在CXL/UB互联的平台上构建高效可靠的计算系统，包括数据结构、文件系统、操作系统内核等。

3. DNA存储与计算系统

使用DNA进行数据存储与计算是一项新兴的交叉研究方向。我们小组持续探索基于DNA的存储与计算系统，期望推动“计算机存储/计算系统”与“DNA生物/化学技术”协同发展，探索新一代非硅基计算机的可能。

相关论文：

  • [FAST ‘25] 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.
  • [Nature 2023] 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).

课程

本科生课程

  • SE127/SE1301 软件基础实践 (2019-2025)
  • SE232/SE2322 高级数据结构 (2020-2025 春季)
  • CS3601 操作系统 (2024-2025 秋季)
  • CS1501 程序设计思想与方法 (2021-2023 秋季)

研究生课程

  • EI6711 高级操作系统 (2022-2025 春季)