angelhof / fluminaLinks
A parallel programming model for online applications with complex synchronization requirements.
☆15Updated 3 years ago
Alternatives and similar repositories for flumina
Users that are interested in flumina are comparing it to the libraries listed below
Sorting:
- Programming Language for Continuous Deep Analytics☆47Updated last year
- ☆19Updated 6 months ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆18Updated 3 years ago
- Megaphone: Latency-conscious state migration☆19Updated 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 4 years ago
- Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]☆104Updated 3 years ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆16Updated 5 years ago
- ☆13Updated 3 years ago
- ☆14Updated 5 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆82Updated 3 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Updated last year
- Mu: Microsecond Consensus for Microsecond Applications☆40Updated 4 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Updated last year
- A low-latency, extensible, multi-tenant key-value store.☆55Updated 4 years ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Updated last month
- a suite of benchmark applications for distributed data stream processing systems☆32Updated last month
- Lightning In-Memory Object Store☆47Updated 3 years ago
- Finding bugs in P4 compilers using translation validation.☆37Updated 3 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆13Updated last week
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆26Updated 2 months ago
- Prototype which extracts stateful dataflows by analysing Python code.☆21Updated 2 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 5 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated last week
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Updated last year
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Updated 4 years ago
- Serverless for all computation☆42Updated 2 years ago
- ☆26Updated 2 years ago
- ☆29Updated 11 months ago
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 4 years ago
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆43Updated 2 years ago