===== Mo Zou (邹沫) =====


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


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

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.

[[http://ipads.se.sjtu.edu.cn/zh/pub/members/mo_zou/|中文主页]]

===== Projects =====

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

My first project [[https://ipads.se.sjtu.edu.cn/pub/projects/atomfs|AtomFS]], aims to build a verified concurrent file system with fine-grained locking.

Then I build the [[https://ipads.se.sjtu.edu.cn/pub/projects/reffs|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.


===== Publications =====
  * [**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