Alternatives and similar repositories for c3:

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

• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆32Updated 7 months ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• 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)
  ☆33Updated 6 months ago
• sslab-gatech / shfllock
  ☆41Updated 3 years ago
• ProjectMitosisOS / ProjectMitosisOS
  Project Mitosis Introduction
  ☆18Updated 2 years ago
• basicthinker / ThyNVM
  ThyNVM: Transparent hybrid NonVolatile Memory (NOTE: This repo is not working yet. Please refer to the old version: https://github.com/ba…
  ☆29Updated 7 years ago
• thu-cs-lab / JieLabs-Web
  Backend & Frontend for JieLabs
  ☆22Updated 2 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated 4 months ago
• NYU-NEWS / janus
  ☆50Updated last year
• yuhong-zhong / bpf-storage-hotos
  ☆20Updated 3 years ago
• WukLab / Pythia
  Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.
  ☆27Updated 4 years ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆14Updated 4 months ago
• ut-osa / strata
  Strata: A Cross Media File System
  ☆71Updated last year
• uclasystem / MemLiner
  MemLiner is a remote-memory-friendly runtime system.
  ☆31Updated 2 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆38Updated 5 months ago
• ServerlessBench / ServerlessBench
  The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing
  ☆22Updated 2 years ago
• SJTU-IPADS / cocytus
  Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication
  ☆30Updated 9 years ago
• madsys-dev / syscall_intercept
  The system call intercepting library
  ☆22Updated 2 years ago
• stanford-mast / shinjuku
  ☆46Updated last year
• Thesys-lab / cacheWorkloadAnalysisOSDI20
  ☆13Updated 3 years ago
• uclasystem / hermit
  Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
  ☆34Updated 10 months ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆34Updated last year
• wangrunji0408 / rjrouter
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Updated 4 years ago
• stonysystems / rolis
  Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
  ☆16Updated last year
• sihangliu / pmtest
  ☆26Updated 5 years ago
• alinush / 6.858-lecture-notes
  6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
  ☆44Updated 7 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆35Updated last week