User Tools

Site Tools


pub:members:mo_zou

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
pub:members:mo_zou [2019/07/31 16:08]
root
pub:members:mo_zou [2019/10/02 17:02] (current)
root
Line 12: Line 12:
 ===== About Me ===== ===== 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. My CV can be found [{{:​pub:​members:​cv_mingyu.pdf|here}}].+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. ​
  
 [[http://​ipads.se.sjtu.edu.cn/​zh/​pub/​members/​mo_zou/​|中文主页]] [[http://​ipads.se.sjtu.edu.cn/​zh/​pub/​members/​mo_zou/​|中文主页]]
 +
 +===== Projects =====
 +
 +My recent project, [[https://​ipads.se.sjtu.edu.cn/​pub/​projects/​atomfs|AtomFS]],​ aims to build a formally-verified concurrent file system with fine-grained locking.
  
 ===== Publications ===== ===== 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   * [**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.1564560499.txt.gz · Last modified: 2019/07/31 16:08 by root