angelhof / flumina
A parallel programming model for online applications with complex synchronization requirements.
☆15Updated 2 years ago
Alternatives and similar repositories for flumina:
Users that are interested in flumina are comparing it to the libraries listed below
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 4 years ago
- Megaphone: Latency-conscious state migration☆19Updated 5 years ago
- TLA+ programs☆9Updated 7 years ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆16Updated 4 years ago
- VeriBetrKV OSDI'20 artifact☆10Updated 4 years ago
- In Spec We Trust☆35Updated 3 weeks ago
- Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]☆102Updated 3 years ago
- ☆19Updated 3 months ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆18Updated 2 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated last year
- Programming Language for Continuous Deep Analytics☆46Updated last year
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆82Updated 2 years ago
- ☆15Updated 5 years ago
- 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
- ☆31Updated 7 years ago
- The world's first wait-free KV store with generic durable linearizable transactions☆40Updated 3 years ago
- SnailTrail implementation☆39Updated 6 years ago
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆11Updated 7 months ago
- Multi-core Window-Based Stream Processing Engine☆71Updated 3 years ago
- ☆14Updated 5 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Code and results for our paper "Analyzing Vectorized Hash Tables Across CPU Architectures" @ VLDB '23.☆24Updated last year
- ☆28Updated 3 years ago
- PAIO: General, Portable I/O Optimizations With Minor Application Modifications (FAST'22)☆23Updated last year
- A runtime implementation of data-parallel actors.☆38Updated 3 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆16Updated last year
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆45Updated last year
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Updated last year
- sdqlpy: A Compiled Query Engine for Python☆20Updated 2 years ago