Mo Zou
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Dong Du2×
- Haibo Chen2×
- Hengbin Zhangonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC | FAST '26 | 2026-02-24 |
Claims a working pipeline that uses SYSSPEC to generate a concurrent file system called SPECFS from high-level formal-style specs, producing ~4,000 lines of C… | ||
| Using Dynamically Layered Definite Releases for Verifying the RefFS File System | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
RefFS is a concurrent in-memory file system with a machine-checkable proof that guarantees both safety and liveness by enforcing dynamically layered definite… | ||
| nothing matches | ||