File systems and Storage Lab (FSL)
Researchers and students in the FSL group perform research in operating systems with focus on file systems, storage, security, and networking.
- 23 followers
- Stony Brook University
- https://www.fsl.cs.sunysb.edu
Pinned Loading
Repositories
Showing 10 of 33 repositories
- RefFS Public
A FUSE RAM file system used as a reference for Metis model checker (FAST '24, HotStorage '21)
- VeriFS2 Public Forked from excelle08/fuse-cpp-ramfs
VeriFS2: A user-space in-memory file system with a checkpoint/restore API for its full state (FAST '24, HotStorage '21)
-
-
- IOCov Public
Framework to compute and analyze input and output coverage for file system testing (HotStorage '23)
Top languages
Loading…
Most used topics
Loading…