Skip to content
@sbu-fsl

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.

Pinned Loading

  1. kernel-ml Public

    Machine Learning Framework for Operating Systems - Brings ML to Linux kernel

    C 241 27

  2. Metis Public

    Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)

    C 12 3

Repositories

Showing 10 of 33 repositories
  • Metis Public

    Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)

    C 12 Apache-2.0 3 3 2 Updated Mar 18, 2025
  • MP-SPDZ Public Forked from data61/MP-SPDZ

    Versatile framework for multi-party computation

    C++ 0 375 0 0 Updated Mar 10, 2025
  • RefFS Public

    A FUSE RAM file system used as a reference for Metis model checker (FAST '24, HotStorage '21)

    C++ 2 LGPL-3.0 1 0 0 Updated Aug 28, 2024
  • 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)

    C++ 4 LGPL-3.0 7 0 3 Updated Aug 28, 2024
  • Shell 0 0 0 0 Updated Aug 5, 2024
  • C 2 0 0 0 Updated Jul 1, 2024
  • Python 0 Apache-2.0 8 0 0 Updated Jul 1, 2024
  • Rust 0 Apache-2.0 3 0 0 Updated Jan 30, 2024
  • IOCov Public

    Framework to compute and analyze input and output coverage for file system testing (HotStorage '23)

    Python 2 Apache-2.0 0 0 0 Updated Dec 20, 2023
  • swarm-mcfs Public

    Swarm verification modified for MCFS

    C 1 0 0 0 Updated Jun 14, 2022