IPADS

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
======= Mingkai Dong (董明凯) =======

Associate Professor,\\
[[http://ipads.se.sjtu.edu.cn|Institute of Parallel And Distributed Systems]],\\
School of Software,\\
Shanghai Jiao Tong University,\\
Software Building, 800 Dongchuan Rd., Shanghai, China,\\
Zip/Postal Code: 200240\\
Email: mingkaidong at sjtu dot edu dot cn ([[mingkaidong@sjtu.edu.cn]])\\

[[https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong/|中文主页]] [[https://dong.mk/|个人主页 dong.mk]] \\
----


===== About Me =====

In my junior year, I joined IPADS as an undergraduate research assistant, working on improving the resource utilization of distributed in-memory KV stores. During my Ph.D. study at IPADS, I mainly focused on the design and implementation of file systems (architecture) for emerging non-volatile memory. Currently, I am an associate professor and continue working on file system designs for emerging storage technologies. Moreover, I am looking to develop and realize next-generation storage technologies, namely DNA storage.
In IPADS, I lead the IPADS Non-volatile Systems Group, aiming to improve storage systems with emerging and future storage technologies.

[[https://scholar.google.com/citations?user=GupFEHwAAAAJ&hl=en|Google Scholar]] | [[https://dblp.org/pid/10/1570-2.html|DBLP]] \\



===== Publications =====

  * [**FAST**] __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.

  * [**OSDI**] __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**] __TreeSLS: A Tree-structured Microkernel with Efficient Whole-system Persistence on NVM. (Best Paper Award!)__. Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen. The 29th ACM Symposium on Operating Systems Principles, Koblenz, Germany, October 2023.

  * [**FAST**] __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 22-24, 2022.

  * [**FAST**] __MT^2: Memory bandwidth Regulation on Hybrid NVM/DRAM Platforms__. Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen. The 20th USENIX Conference on File and Storage Technologies, Santa Clara, CA, USA, February 22-24, 2022.

  * [**APSys**] __On the Precision of Precise Event Based Sampling__. Jifei Yi, Benchao Dong, Mingkai Dong, Haibo Chen. The 11th Asia-Pacific Workshop on Systems, Tsukuba, Japan, August 2020.

  * [**SOSP**] __Performance and Protection in the ZoFS User-space NVM File System__. Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen. The 27th ACM Symposium on Operating Systems Principles, Ontario, Canada, October 2019.

  * [**USENIX ATC**] __EROFS: A Compression-friendly Readonly File System for Resource-scarce Device__. Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen. The 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019.

  * [**USENIX ATC**] __Soft Updates Made Simple and Fast for Non-volatile Memories__. Mingkai Dong, Haibo Chen. The 2017 USENIX Annual Technical Conference, Santa Clara, CA, USA. July 2017.

  * [**ToS**] __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**] __Rethinking Benchmarking for NVM-based File Systems__. Mingkai Dong, Qianqian Yu, Xiaozhou Zhou, Yang Hong, Haibo Chen and Binyu Zang. The 7th Asia-Pacific Workshop on Systems, Hong Kong, China, August 2016.

  * [**FAST**] __Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication__. Heng Zhang, Mingkai Dong, Haibo Chen. The 14th USENIX Conference on File and Storage Technologies, Santa Clara, CA, USA, February 2016.

===== Professional Services =====

Program Committee Member of OSDI (2025), FAST (2025, 2026), ASPLOS (2025), NSDI (2025).

===== Teaching =====


This Spring:
  * SE127 Practice of Software Foundation (for undergraduates) (2025)
  * SE2322 Advanced Data Structures (for undergraduates) (2025 spring)
  * EI6711 Advanced Operating Systems (for graduates) (2025 spring)
Past:
  * CS3601 Operating Systems (for undergraduates) (2024 fall)
  * SE2322 Advanced Data Structures (for undergraduates) (2022--2024 spring)
  * EI6711 Advanced Operating Systems (for graduates) (2022--2024 spring)
  * CS1501 Programming - Ideas and Methods (for undergraduates) (2021--2023 fall)
  * SE127 Practice of Software Foundation (for undergraduates) (2021, 2023--2024)
  * SE232 Advanced Data Structures (for undergraduates, chief TA) (2020 spring)
  * SE127 Practice of Software Foundation (for undergraduates, chief TA) (2019-2021)