Skip to content

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

Change the repository type filter

All

    Repositories list

    32 repositories

    • Metis

      Public
      Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
      filesystemmodel-checking
      C
      •
      Apache License 2.0
      •3•11•3•2•Updated Dec 13, 2024Dec 13, 2024

    • 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•2•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
      •6•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
      •8•0•0•0•Updated Jul 1, 2024Jul 1, 2024

    • sawtooth-pbft

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

    • IOCov

      Public
      Framework to compute and analyze input and output coverage for file system testing (HotStorage '23)
      testingcoveragefilesystem
      Python
      •
      Apache License 2.0
      •0•2•0•0•Updated Dec 20, 2023Dec 20, 2023

    • swarm-mcfs

      Public
      Swarm verification modified for MCFS
      C
      •0•1•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•0•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.4k•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-kerneloperating-systemsauto-tuningmlsys
      C
      •
      Apache License 2.0
      •26•236•6•0•Updated Dec 13, 2021Dec 13, 2021

    • kernel-ml-linux

      Public
      Linux kernel for kernel-ml
      C
      •
      Other
      •1•0•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.1k•6•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•3•0•0•Updated Jan 18, 2019Jan 18, 2019

    • fuse-stackfs

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

    • nghttp2

      Public
      nghttp2 - HTTP/2 C Library and tools
      C++
      •
      Other
      •877•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

    • fuse-kernel-instrumentation

      Public
      C
      •
      Other
      •7•11•0•0•Updated Mar 8, 2017Mar 8, 2017

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •55k•0•0•0•Updated Feb 26, 2017Feb 26, 2017

    • nfs-ganesha

      Public
      NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on most UNIX/Linux systems
      C
      •514•0•0•0•Updated Oct 30, 2014Oct 30, 2014