Huawei
Email: lostzoumo@gmail.com lostzoumo@alumni.sjtu.edu.cn

I am currently working at Huawei. I obtained my doctor's degree in the Software Engineering at Shanghai Jiaotong University, adviced by Prof. Haibo Chen. Then I worked as a Post Doc at Fundamental Software Innovation Lab, Huawei. My research interest lies on the intersection of operating system, programming language and AI.

中文主页

I mainly worked on concurrent file system verification during my Ph.D.

My first project AtomFS, aims to build a verified concurrent file system with fine-grained locking.

Then I build the RefFS file system, which is the first verified concurrent file system with both safety and liveness guarantees.

I spent two Post Doc years at Fundamental Software Innovation Lab, Huawei, where I worked on automated verification of concurrent software and combining formal methods with AI.

• [FAST] Sharpen the Spec, Cut the Code: A Case for Generative File System with SysSpec. Qingyuan Liu, Mo Zou, Hengbin Zhang, Dong Du, Yubin Xia, Haibo Chen. 24th USENIX Conference on File and Storage Technologies (FAST'26). Santa Clara, CA, USA, February 24–26, 2026.
• [SOSP] How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service. Jingkai He, Yunpeng Dong, Dong Du, Mo Zou, Zhitai Yu, Yuxin Ren, Ning Jia , Yubin Xia, Haibo Chen. Proceedings of the 31th ACM Symposium on Operating Systems Principles (SOSP’25). Seoul, Republic of Korea, October 13 – 16, 2025. Best paper award
• [OSDI] Using Dynamically Layered Definite Releases for Verifying the RefFS File System. Mo Zou, Dong Du, Mingkai Dong, Haibo Chen. In OSDI'24.
• [SOSP] Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, and Haibo Chen. In SOSP ’19: ACM Symposium on Operating Systems Principles, October 27–30, 2019, Huntsville,Ontario, Canada. ACM, New York, NY, USA