Alternatives and similar repositories for ozz:

Users that are interested in ozz are comparing it to the libraries listed below

• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• hedayati / hodor
  Hodor-PKU
  ☆24Updated 3 years ago
• rssys / snowcat
  This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…
  ☆14Updated last year
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• glarer / UserspaceBypass
  ☆57Updated 11 months ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆53Updated last month
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 3 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆43Updated last month
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆43Updated last week
• IPADS-DuVisor / DuVisor
  ☆71Updated last year
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆34Updated 7 months ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated last year
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆16Updated 6 months ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆13Updated last year
• uw-unsat / serval
  ☆47Updated 3 years ago
• ShawnZhong / DepSurf
  Revealing the Unstable Foundations of eBPF-Based Kernel Extensions
  ☆12Updated last month
• PLSysSec / swivel
  ☆16Updated last year
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆23Updated last year
• tstamler / zIO
  Transparent zero-copy IO
  ☆19Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• vmexit / trio-sosp23-ae
  ☆16Updated last year
• cla7aye15I4nd / shadowbound
  ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…
  ☆22Updated 9 months ago
• Compass-All / CCS22-StrongBox
  ☆31Updated 2 years ago