casys-kaist / ozzView external linksLinks
OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
☆50Sep 2, 2024Updated last year
Alternatives and similar repositories for ozz
Users that are interested in ozz are comparing it to the libraries listed below
Sorting:
- ☆36Mar 12, 2025Updated 11 months ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆23May 14, 2025Updated 9 months ago
- MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency☆19Dec 21, 2024Updated last year
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 3 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65May 3, 2025Updated 9 months ago
- ☆20Mar 10, 2022Updated 3 years ago
- ROSA: Finding Backdoors with Fuzzing☆42Jun 30, 2025Updated 7 months ago
- ☆12Jun 10, 2025Updated 8 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 10, 2026Updated last week
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- ☆24Aug 24, 2025Updated 5 months ago
- SKI virtual machine for testing concurrency bugs☆13Nov 25, 2015Updated 10 years ago
- ☆32Apr 2, 2024Updated last year
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Apr 21, 2024Updated last year
- Refinement type checking and inference tool for Rust☆17Updated this week
- ☆13Feb 6, 2026Updated last week
- DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks☆15Sep 15, 2022Updated 3 years ago
- Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.☆15Apr 21, 2021Updated 4 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆19Apr 1, 2025Updated 10 months ago
- ☆19Oct 24, 2024Updated last year
- Artifact package for CBMM paper (ATC'22)☆11Jun 5, 2022Updated 3 years ago
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆18Mar 6, 2025Updated 11 months ago
- [IEEE CAL 2025] Accelerating Page Migrations in Operating Systems with Intel DSA☆16Nov 20, 2024Updated last year
- ☆13Apr 10, 2025Updated 10 months ago
- Kernel isolation tester.☆18Oct 20, 2022Updated 3 years ago
- ☆16Feb 25, 2024Updated last year
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆17May 20, 2025Updated 8 months ago
- CXL remote offloading data movement aware compiler☆72Jan 4, 2026Updated last month
- ☆58May 10, 2024Updated last year
- ☆16Apr 6, 2023Updated 2 years ago
- Dataset and Analysis for the FAST25 paper: "Cloudscape: A Study of Storage Services in Modern Cloud Architectures"☆16Feb 20, 2025Updated 11 months ago
- Exploring CXL on QEMU Emulation☆36Mar 4, 2025Updated 11 months ago
- Virtuoso is a fast, accurate and versatile simulation framework designed for virtual memory research. Virtuoso uses a new simulation met…☆81Jan 17, 2026Updated last month
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆18Mar 5, 2023Updated 2 years ago
- ☆18Feb 22, 2023Updated 2 years ago
- ☆23May 1, 2024Updated last year
- Handwritten GEMM using Intel AMX (Advanced Matrix Extension)☆17Jan 11, 2025Updated last year
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Jun 21, 2025Updated 7 months ago