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

File systems and Storage Lab (FSL)

sbu-fsl

Geek Repo

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

Home Page:https://www.fsl.cs.sunysb.edu

Github PK Tool:Github PK Tool

File systems and Storage Lab (FSL)'s repositories

kernel-ml

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

Language:CLicense:Apache-2.0Stargazers:216Issues:17Issues:4

fuse-stackfs

Language:Filebench WMLLicense:GPL-2.0Stargazers:65Issues:11Issues:1

fuse-kernel-instrumentation

Language:CLicense:NOASSERTIONStargazers:11Issues:0Issues:0

libfuse

The reference implementation of the Linux FUSE (Filesystem in Userspace) interface

Language:CLicense:GPL-2.0Stargazers:7Issues:3Issues:0

Metis

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

Language:CLicense:Apache-2.0Stargazers:6Issues:0Issues:0

txn-compound

NFS Transactional Compounds

Language:CStargazers:6Issues:0Issues:0

kurma

Kurma: Secure Geo-Distributed Multi-Cloud Storage Gateways

Language:CLicense:GPL-3.0Stargazers:3Issues:4Issues:0

RefFS

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

Language:C++License:LGPL-3.0Stargazers:3Issues:0Issues:0

fsl-tc-server

NFS Server with Transactional Compounds

Language:CStargazers:1Issues:0Issues:0

IOCov

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

Language:PythonLicense:Apache-2.0Stargazers:1Issues:0Issues:0

swarm-mcfs

Swarm verification modified for MCFS

Language:CStargazers:1Issues:0Issues:0

fsl-tc-client

Transactional Compound NFS Client

Language:CStargazers:0Issues:0Issues:0

kernel-ml-linux

Linux kernel for kernel-ml

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:4Issues:0

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

Language:C++License:GPL-2.0Stargazers:0Issues:2Issues:0

tc-coreutils

GNU CoreUtils using TC API

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

tc-tar

Tar and untar using transactional compound and bsdtar

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

DataSeries

structured serial data library

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

filebench

A development clone of Filebench at http://filebench.sourceforge.net/

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

fsl-spin

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

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

fuse-linux_4_20_y

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

libfuse-3_4_y

Modified libfuse code to handle request processing in user space.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Lintel

utility library

Language:PerlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

nfs-ganesha

NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on most UNIX/Linux systems

Language:CStargazers:0Issues:0Issues:0

nghttp2

nghttp2 - HTTP/2 C Library and tools

Language:C++License:NOASSERTIONStargazers:0Issues:6Issues:0

ntirpc

New development on tirpc

Language:CLicense:NOASSERTIONStargazers:0Issues:5Issues:0

tc-server

NFS Server for Transactional Compound

Language:CStargazers:0Issues:7Issues:0