sbu-fsl / MetisLinks
Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
☆13Updated 7 months ago
Alternatives and similar repositories for Metis
Users that are interested in Metis are comparing it to the libraries listed below
Sorting:
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆21Updated 11 months ago
- https://rs3lab.github.io/SynCord/☆26Updated 2 years ago
- ☆20Updated last month
- ☆14Updated 2 years ago
- A Filesystem Semi-Microkernel.☆43Updated last year
- CrossFS: A Cross-layered Direct-Access File System☆27Updated 3 years ago
- ☆36Updated 2 years ago
- blk-switch kernel implementation (OSDI'21)☆73Updated last year
- ☆18Updated 2 years ago
- ☆20Updated 3 years ago
- ☆48Updated 2 years ago
- A user level library for applications to transparently use Intel DSA.☆38Updated last month
- ☆49Updated last year
- ☆33Updated 7 months ago
- A Memory-Disaggregated Managed Runtime.☆66Updated 4 years ago
- A user-level tool for extracting SSD internal properties☆19Updated 2 years ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆22Updated 5 months ago
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆20Updated 4 years ago
- Scaling Up Memory Disaggregated Applications with SMART☆31Updated last year
- ☆57Updated 3 years ago
- ☆35Updated 2 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆44Updated 2 years ago
- A Progam-Behavior-Guided Far Memory System☆35Updated last year
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆48Updated last year
- ☆24Updated 4 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated last year
- MemLiner is a remote-memory-friendly runtime system.☆31Updated 2 years ago
- A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs☆74Updated 2 years ago
- i10 kernel implementation (NSDI'20)☆52Updated 5 years ago
- ☆28Updated 5 years ago