User Tools

Site Tools


pub:members:mo_zou

Mo Zou (邹沫)

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.

中文主页

Projects

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.

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
pub/members/mo_zou.txt · Last modified: 2024/06/26 16:31 by root