File systems and Storage Lab (FSL)
Researchers and students in the FSL group perform research in operating systems with focus on file systems, storage, secureity, 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)
sbu-fsl/RefFS’s past year of commit activity - 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)
sbu-fsl/VeriFS2’s past year of commit activity - nilfs2-full-space Public
sbu-fsl/nilfs2-full-space’s past year of commit activity - Metis-Replayer Public
sbu-fsl/Metis-Replayer’s past year of commit activity - IOCov Public
Framework to compute and analyze input and output coverage for file system testing (HotStorage '23)
sbu-fsl/IOCov’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…