User Tools

Site Tools


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

中文主页

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: 2019/10/02 17:02 by root