angelhof / fluminaLinks
A parallel programming model for online applications with complex synchronization requirements.
☆16Updated 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 2 years ago
- ☆19Updated last year
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Updated 2 years ago
- ☆28Updated 4 years ago
- Course website for Systems Verification Fall 2024☆13Updated 6 months ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Updated 2 months ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆16Updated 5 years ago
- Megaphone: Latency-conscious state migration☆19Updated 5 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Updated last year
- A suite of benchmark applications for distributed data stream processing systems☆31Updated 4 months ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- VeriBetrKV OSDI'20 artifact☆12Updated 5 years ago
- SnailTrail implementation☆40Updated 6 years ago
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆42Updated 8 months ago
- EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"☆19Updated 10 months ago
- JSONPath Streaming with Bit-Parallel Fast-Forwarding☆33Updated last year
- A low-latency, extensible, multi-tenant key-value store.☆55Updated 5 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆84Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 4 years ago
- eRPC library for Rust☆14Updated 5 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆15Updated 3 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated last week
- 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
- egraphs-good website☆18Updated last year
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Updated 3 weeks ago
- Prototype which extracts stateful dataflows by analysing Python code.☆21Updated 3 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆41Updated 5 years ago
- Multi-core Window-Based Stream Processing Engine☆73Updated 4 years ago
- ☆11Updated 8 years ago