Skip to content

@sbu-fsl File systems and Storage Lab (FSL)

Change the repository type filter

All

    Repositories list

    35 repositories

    • VLMBench

      Public
      VLMBench: Real-world dynamic LLM inference benchmarking system.
      benchmarkingbenchmarkai
      benchmarkingbenchmarkaiopenaihuggingfacevllm
      Python
      •
      Apache License 2.0
      •2•0•0•0•Updated May 18, 2026May 18, 2026

    • MP-SPDZ

      Public
      Versatile framework for multi-party computation
      C++
      •
      Other
      •363•2•0•0•Updated Mar 30, 2026Mar 30, 2026

    • CM-IOCov

      Public
      CM-IOCov: Enhancing Input Coverage in CrashMonkey for File System Crash-Consistency Testing (SYSTOR ’25)
      testingfilesystemcrash-consistency
      testingfilesystemcrash-consistencyinput-coverage
      C++
      •
      Apache License 2.0
      •0•2•0•0•Updated Sep 8, 2025Sep 8, 2025

    • IOCov

      Public
      Framework to compute and analyze input and output coverage for file system testing (SYSTOR '25, HotStorage '23)
      testingcoveragefilesystem
      testingcoveragefilesystem
      Python
      •
      Apache License 2.0
      •0•3•0•0•Updated Sep 7, 2025Sep 7, 2025

    • Metis

      Public
      Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
      filesystemmodel-checking
      filesystemmodel-checking
      C
      •
      Apache License 2.0
      •4•16•3•2•Updated Mar 18, 2025Mar 18, 2025

    • RefFS

      Public
      A FUSE RAM file system used as a reference for Metis model checker (FAST '24, HotStorage '21)
      C++
      •
      GNU Lesser General Public License v3.0
      •1•4•0•0•Updated Aug 28, 2024Aug 28, 2024

    • VeriFS2

      Public
      VeriFS2: A user-space in-memory file system with a checkpoint/restore API for its full state (FAST '24, HotStorage '21)
      C++
      •
      GNU Lesser General Public License v3.0
      •7•4•0•3•Updated Aug 28, 2024Aug 28, 2024

    • nilfs2-full-space

      Public
      Shell
      •0•0•0•0•Updated Aug 5, 2024Aug 5, 2024

    • Metis-Replayer

      Public
      C
      •0•2•0•0•Updated Jul 1, 2024Jul 1, 2024

    • sawtooth-core

      Public
      Python
      •
      Apache License 2.0
      •9•0•0•0•Updated Jul 1, 2024Jul 1, 2024

    • sawtooth-pbft

      Public
      Rust
      •
      Apache License 2.0
      •4•0•0•0•Updated Jan 30, 2024Jan 30, 2024

    • swarm-mcfs

      Public
      Swarm verification modified for MCFS
      C
      •0•2•0•0•Updated Jun 14, 2022Jun 14, 2022

    • fsl-spin

      Public
      Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
      C
      •
      Other
      •0•1•0•0•Updated Apr 7, 2022Apr 7, 2022

    • rocksdb

      Public
      A library that provides an embeddable, persistent key-value store for fast storage.
      C++
      •
      GNU General Public License v2.0
      •6.9k•0•0•0•Updated Dec 19, 2021Dec 19, 2021

    • kernel-ml

      Public
      Machine Learning Framework for Operating Systems - Brings ML to Linux kernel
      machine-learningkernel-modulelinux-kernel
      machine-learningkernel-modulelinux-kerneloperating-systemsauto-tuningmlsys
      C
      •
      Apache License 2.0
      •31•259•6•0•Updated Dec 13, 2021Dec 13, 2021

    • kernel-ml-linux

      Public
      Linux kernel for kernel-ml
      C
      •
      Other
      •1•1•1•0•Updated Nov 12, 2021Nov 12, 2021

    • DataSeries

      Public
      structured serial data library
      C++
      •
      Other
      •9•0•0•2•Updated Mar 23, 2021Mar 23, 2021

    • fsl-tc-client

      Public
      Transactional Compound NFS Client
      C
      •0•0•0•2•Updated Nov 9, 2020Nov 9, 2020

    • Lintel

      Public
      utility library
      Perl
      •
      Other
      •4•0•0•0•Updated Oct 6, 2020Oct 6, 2020

    • fsl-tc-server

      Public
      NFS Server with Transactional Compounds
      C
      •0•1•5•2•Updated Feb 17, 2020Feb 17, 2020

    • libfuse-3_4_y

      Public
      Modified libfuse code to handle request processing in user space.
      C
      •
      Other
      •1•0•0•0•Updated Dec 16, 2019Dec 16, 2019

    • fuse-linux_4_20_y

      Public
      C
      •
      Other
      •1•0•0•0•Updated Oct 26, 2019Oct 26, 2019

    • libfuse

      Public
      The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
      C
      •
      GNU General Public License v2.0
      •1.3k•5•0•0•Updated Apr 7, 2019Apr 7, 2019

    • kurma

      Public
      Kurma: Secure Geo-Distributed Multi-Cloud Storage Gateways
      C
      •
      GNU General Public License v3.0
      •0•4•0•0•Updated Jan 18, 2019Jan 18, 2019

    • fuse-stackfs

      Public
      Filebench WML
      •
      GNU General Public License v2.0
      •22•72•1•0•Updated Oct 10, 2018Oct 10, 2018

    • nghttp2

      Public
      nghttp2 - HTTP/2 C Library and tools
      C++
      •
      Other
      •936•0•0•0•Updated Jun 5, 2017Jun 5, 2017

    • tc-server

      Public
      NFS Server for Transactional Compound
      C
      •0•0•0•0•Updated Mar 21, 2017Mar 21, 2017

    • txn-compound

      Public
      NFS Transactional Compounds
      C
      •5•7•0•0•Updated Mar 20, 2017Mar 20, 2017

    • tc-tar

      Public
      Tar and untar using transactional compound and bsdtar
      C
      •
      Other
      •0•0•0•0•Updated Mar 20, 2017Mar 20, 2017

    • tc-coreutils

      Public
      GNU CoreUtils using TC API
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Mar 20, 2017Mar 20, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.