GMAP / SPBenchLinks
SPBench: A Framework for Benchmarking Stream Processing Applications
☆11Updated 6 months ago
Alternatives and similar repositories for SPBench
Users that are interested in SPBench are comparing it to the libraries listed below
Sorting:
- A suite of benchmark applications for distributed data stream processing systems☆31Updated 3 months ago
- A caching framework for microservice applications☆23Updated last year
- ☆28Updated 5 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆159Updated 2 weeks ago
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆25Updated last year
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆27Updated 2 years ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆25Updated 2 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆41Updated 5 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆84Updated 3 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Updated 2 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22Updated 3 years ago
- A Memory-Disaggregated Managed Runtime.☆66Updated 4 years ago
- The NYU Systems Seminar☆23Updated last year
- A Progam-Behavior-Guided Far Memory System☆35Updated 2 years ago
- ☆15Updated 3 years ago
- Reading seminar in Harvard Cloud Networking and Systems Group☆16Updated 3 years ago
- A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs☆75Updated last week
- Course website for Systems Verification Fall 2024☆13Updated 5 months ago
- A universal workflow system for exactly-once DAGs☆23Updated 2 years ago
- A C++ library for the analysis of structural dynamic graphs☆27Updated 3 years ago
- MemLiner is a remote-memory-friendly runtime system.☆31Updated 3 years ago
- 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
- In Spec We Trust☆42Updated 5 months ago
- Vector search with bounded performance.☆35Updated last year
- Website for Systems Research Seminar at UIUC☆20Updated last week
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Updated 5 years ago
- ☆45Updated 3 years ago
- A parallel programming model for online applications with complex synchronization requirements.☆16Updated 3 years ago