OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
☆26Oct 3, 2023Updated 2 years ago
Alternatives and similar repositories for OKLib
Users that are interested in OKLib are comparing it to the libraries listed below
Sorting:
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 3 years ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated last year
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆18Mar 6, 2025Updated 11 months ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Apr 21, 2024Updated last year
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Oct 16, 2020Updated 5 years ago
- Yizhou Shan's Doctoral Dissertation (UCSD CSE)☆15Mar 16, 2022Updated 3 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65May 3, 2025Updated 9 months ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Nov 12, 2013Updated 12 years ago
- ☆22Jan 22, 2023Updated 3 years ago
- ☆36Mar 12, 2025Updated 11 months ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 6 years ago
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆41Oct 4, 2024Updated last year
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 10 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Sep 2, 2024Updated last year
- This is a sample Android Wear app that uses the heart rate sensor present in Samsung Gear Live watches☆21Jan 5, 2015Updated 11 years ago
- Kernel Playground - A playground to run large scale experiments on the Linux Kernel☆17Nov 8, 2025Updated 3 months ago
- Microsoft question-answering dataset☆10Jun 16, 2023Updated 2 years ago
- Tool to identify domains containing Pinyin language☆12Oct 18, 2014Updated 11 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- A Progam-Behavior-Guided Far Memory System☆36Oct 26, 2023Updated 2 years ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 4 months ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆46Mar 5, 2023Updated 2 years ago
- ☆11Aug 23, 2023Updated 2 years ago
- Code repository for scenarios and environment setup as part of ITBench☆15Feb 19, 2026Updated last week
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated 2 months ago
- ☆10Jun 4, 2024Updated last year
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- A brief tutorial for eBPF: Verifier, observability, networking, and security.☆12Sep 19, 2024Updated last year
- A library of just-for-fun implementations of common data structures and algorithms.☆13Aug 1, 2024Updated last year
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 10, 2026Updated 2 weeks ago
- MikanOSをRustで製作したいプロジェクトです☆10Dec 1, 2023Updated 2 years ago
- A pretty-printer for X12 EDI files☆11Jun 21, 2021Updated 4 years ago
- Treat application routes (URL path + query string) as strongly-typed Rust structs☆13Jun 16, 2019Updated 6 years ago
- Kuberetes etcd network checkpointer☆11Jul 20, 2017Updated 8 years ago
- An ASCII-art based data flow management system☆18Dec 11, 2017Updated 8 years ago
- How to plot for papers, slides, demos, etc.☆10Apr 7, 2022Updated 3 years ago