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

  1. kernel-ml kernel-ml Public

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

    C 227 26

  2. Metis Metis Public

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

    C 10 2

Repositories

Showing 10 of 32 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
    C++ 1 LGPL-3.0 0 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)

    sbu-fsl/VeriFS2’s past year of commit activity
    C++ 4 LGPL-3.0 6 0 3 Updated Aug 28, 2024
  • Metis Public

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

    sbu-fsl/Metis’s past year of commit activity
    C 10 Apache-2.0 2 3 2 Updated Aug 7, 2024
  • nilfs2-full-space Public
    sbu-fsl/nilfs2-full-space’s past year of commit activity
    Shell 0 0 0 0 Updated Aug 5, 2024
  • Metis-Replayer Public
    sbu-fsl/Metis-Replayer’s past year of commit activity
    C 2 0 0 0 Updated Jul 1, 2024
  • sawtooth-core Public Forked from splintercommunity/sawtooth-core
    sbu-fsl/sawtooth-core’s past year of commit activity
    Python 0 Apache-2.0 8 0 0 Updated Jul 1, 2024
  • sawtooth-pbft Public Forked from splintercommunity/sawtooth-pbft
    sbu-fsl/sawtooth-pbft’s past year of commit activity
    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)

    sbu-fsl/IOCov’s past year of commit activity
    Python 1 Apache-2.0 0 0 0 Updated Dec 20, 2023
  • swarm-mcfs Public

    Swarm verification modified for MCFS

    sbu-fsl/swarm-mcfs’s past year of commit activity
    C 1 0 0 0 Updated Jun 14, 2022
  • fsl-spin Public

    Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

    sbu-fsl/fsl-spin’s past year of commit activity
    C 0 0 0 0 Updated Apr 7, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…