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


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


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

I am currently a Post Doc at Huawei. I obtained my doctor's degree in the Software Engineering at Shanghai Jiaotong University. I used to work in the Institute of Parallel And Distributed System (IPADS), adviced by Prof. Haibo Chen. My research mainly focuses on system verification.

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


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