Operating Systems, File Systems, DNA Storage

I joined IPADS as an undergraduate research assistant in my junior year, working on improving the resource utilization of distributed in-memory KV stores. During my Ph.D. study at IPADS, I mainly focused on the file system (architecture) design and implementation on emerging non-volatile memory. Currently, I have joined IPADS as an assistant professor and keep working on file system designs on emerging storage technologies. Moreover, I am looking to develop and realize next-generation storage technologies, namely DNA storage.

IPADS and I keep looking for self-motivated students who want to pursue a Ph.D. or master's degree. If you are interested in systems and storage research, feel free to contact me via email. :)

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)
• SE232 Advanced Data Structures (for undergraduates, chief TA) (2020 spring)
• SE127 Practice of Software Foundation (for undergraduates, chief TA) (2019--2021)

[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.
In Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP '23),
Koblenz, Germany, Octobar 23-26, 2023.

[Nature]

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).

[FAST]

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]

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.

[APSys]

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 2020),
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.
In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP 2019),
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.
In Proceedings of the 2019 USENIX Annual Technical Conference (ATC 2019),
Renton, WA, USA, July 2019.

[USENIX ATC]

Soft Updates Made Simple and Fast for Non-volatile Memories.
Mingkai Dong, Haibo Chen.
In Proceedings of the 2017 USENIX Annual Technical Conference (ATC 2017),
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.
In Proceedings of the 7th Asia-Pacific Workshop on Systems (APSys 2016),
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.
In Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST 2016),
Santa Clara, CA, USA, February 2016.

[CAL]

Persistent Transactional Memory.
Zhaoguo Wang, Han Yi, Ran Liu, Mingkai Dong and Haibo Chen.
IEEE Computer Architecture Letters. VOL. 14, NO. 1, JANUARY-JUNE 2015.