Alternatives and similar repositories for SPBench

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

• GMAP / DSPBench
  A suite of benchmark applications for distributed data stream processing systems
  ☆31Updated 4 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆13Updated 6 months ago
• eniac / mucache
  A caching framework for microservice applications
  ☆23Updated last year
• LedgeDash / unum
  ☆12Updated 3 years ago
• pkusys / Halfmoon
  Implementation of the logging layer of our SOSP '23 paper Halfmoon
  ☆11Updated 2 years ago
• angelhof / flumina
  A parallel programming model for online applications with complex synchronization requirements.
  ☆16Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆165Updated 3 weeks ago
• chenhao-ye / polaris
  Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”
  ☆27Updated 2 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆27Updated last year
• LPD-EPFL / swarm-kv
  A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol
  ☆14Updated last year
• ease-lab / Zeus
  This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…
  ☆20Updated 3 years ago
• suquark / ExoFlow
  A universal workflow system for exactly-once DAGs
  ☆23Updated 2 years ago
• thu-pacman / TriCache
  A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs
  ☆75Updated last month
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated last year
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated 2 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• cacheMon / NSDI24-SIEVE
  The repo for NSDI24 paper: SIEVE is Simpler than LRU: an Efficient Turn-Key Eviction Algorithm for Web Caches
  ☆76Updated last year
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆84Updated 3 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆42Updated 6 months ago
• uclasystem / DRust
  ☆51Updated last year
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago
• lastweek / 2022-UCSD-Thesis
  Yizhou Shan's Doctoral Dissertation (UCSD CSE)
  ☆15Updated 3 years ago
• Trinity-data-store / Trinity
  EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"
  ☆19Updated 10 months ago
• vasigavr1 / Odyssey
  ☆15Updated 3 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆49Updated last week
• uclasystem / MemLiner
  MemLiner is a remote-memory-friendly runtime system.
  ☆31Updated 3 years ago
• phoenix-dataplane / phoenix
  Phoenix dataplane system service
  ☆55Updated last year
• resource-disaggregation / jiffy
  Virtual Memory Abstraction for Serverless Architectures
  ☆49Updated 3 years ago
• uclasystem / Semeru
  A Memory-Disaggregated Managed Runtime.
  ☆67Updated 4 years ago
• rstream-system / RStream
  ☆24Updated 2 years ago