Alternatives and similar repositories for OKLib:

Users that are interested in OKLib 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
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 8 months ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆82Updated 2 years ago
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated 8 months ago
• uclasystem / Semeru
  A Memory-Disaggregated Managed Runtime.
  ☆66Updated 3 years ago
• uclasystem / MemLiner
  MemLiner is a remote-memory-friendly runtime system.
  ☆31Updated 2 years ago
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 3 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆43Updated last week
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆17Updated last year
• dassl-uiuc / LazyLog-Artifact
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  ☆24Updated last week
• OrderLab / xinda
  Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems
  ☆12Updated 2 months ago
• uclasystem / hermit
  Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
  ☆34Updated 11 months ago
• uclasystem / Mako
  Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.
  ☆14Updated 8 months ago
• pkusys / Halfmoon
  Implementation of the logging layer of our SOSP '23 paper Halfmoon
  ☆11Updated last year
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆13Updated this week
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆111Updated this week
• 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
• resource-disaggregation / jiffy
  Virtual Memory Abstraction for Serverless Architectures
  ☆48Updated 3 years ago
• xinjin / course-net-seminar
  Selected Topics in Computer Networks @ Johns Hopkins University
  ☆19Updated 4 years ago
• OrderLab / Legolas
  Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
  ☆12Updated last year
• uclasystem / DRust
  ☆46Updated 6 months ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• eniac / Beldi
  ☆52Updated 2 years ago
• Ddnirvana / awesome-serverless-research
  A curated list of awesome serverless research works, including papers and open-sourced projects.
  ☆82Updated 2 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• Romero027 / sysnet-reading-list
  This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.
  ☆79Updated 4 months ago
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated last year
• ProjectMitosisOS / ProjectMitosisOS
  Project Mitosis Introduction
  ☆18Updated 2 years ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year