angelhof / flumina
A parallel programming model for online applications with complex synchronization requirements.
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for flumina
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆15Updated 4 years ago
- ☆18Updated 2 weeks ago
- A code-generating database system with incorporated versioning commands in SQL.☆14Updated 3 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
- LLAMA Graph Analytics Engine☆41Updated 7 years ago
- ☆10Updated 5 months ago
- JSONPath Streaming with Bit-Parallel Fast-Forwarding☆24Updated last month
- ☆12Updated 2 years 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
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆9Updated last year
- ☆26Updated 3 years ago
- ☆15Updated 4 years ago
- FPGA-based HyperLogLog Accelerator☆12Updated 4 years ago
- ☆19Updated 2 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆17Updated 4 years ago
- ☆14Updated 4 years ago
- An extensible compiler for cryptography.☆20Updated this week
- Programming Language for Continuous Deep Analytics☆44Updated last year
- Multi-core Window-Based Stream Processing Engine☆70Updated 3 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Updated 5 months ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 8 months ago
- In Spec We Trust☆32Updated 4 months ago
- A C++ library for the analysis of structural dynamic graphs☆26Updated 2 years ago
- ☆14Updated last year
- ☆37Updated 4 years ago
- ☆31Updated 2 years ago
- Proactive-adaptive arbitration between shipping compute and shipping data☆18Updated 3 years ago
- Code and results for our paper "Analyzing Vectorized Hash Tables Across CPU Architectures" @ VLDB '23.☆23Updated 9 months ago
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated 2 months ago