User Tools

Site Tools


You are not allowed to perform this action
pub:members:mo_zou

Mo Zou (邹沫)

Ph.D Candidate
IPADS
Shanghai Jiao Tong University
800 Dongchuan Road, Minhang District, Shanghai, P.R.China
Zip/Postal Code: 200240
Email: lostzoumo@gmail.com

About Me

I am a fourth-year Ph.D. student in the Software Engineering at Shanghai Jiaotong University. I work in the Institute of Parallel And Distributed System (IPADS), adviced by Prof. Haibo Chen. My research mainly focuses on system verification. My cv can be found [here].

中文主页

Projects

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

Publications

  • [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: 2020/11/11 23:33 by root