Name: File systems and Storage Lab (FSL)
Type: Organization
Bio: Researchers and students in the FSL group perform research in operating systems with focus on file systems, storage, security, and networking.
Location: Stony Brook University
Blog: https://www.fsl.cs.sunysb.edu
File systems and Storage Lab (FSL)'s Projects
structured serial data library
A development clone of Filebench at http://filebench.sourceforge.net/
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Transactional Compound NFS Client
NFS Server with Transactional Compounds
Framework to compute and analyze input and output coverage for file system testing (HotStorage '23)
Machine Learning Framework for Operating Systems - Brings ML to Linux kernel
Linux kernel for kernel-ml
Kurma: Secure Geo-Distributed Multi-Cloud Storage Gateways
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
Modified libfuse code to handle request processing in user space.
utility library
Linux kernel source tree
Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on most UNIX/Linux systems
nghttp2 - HTTP/2 C Library and tools
New development on tirpc
A FUSE RAM file system used as a reference for Metis model checker (FAST '24, HotStorage '21)
A library that provides an embeddable, persistent key-value store for fast storage.
Swarm verification modified for MCFS
GNU CoreUtils using TC API
NFS Server for Transactional Compound
Tar and untar using transactional compound and bsdtar