This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.
☆20Jun 12, 2022Updated 3 years ago
Alternatives and similar repositories for Zeus
Users that are interested in Zeus are comparing it to the libraries listed below
Sorting:
- ☆15May 13, 2022Updated 3 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆173Mar 28, 2024Updated last year
- Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…☆16Jan 7, 2022Updated 4 years ago
- ☆14Mar 29, 2020Updated 5 years ago
- ☆17Sep 20, 2021Updated 4 years ago
- An efficient distributed key value store for fast storage devices and RDMA networks☆19Jul 25, 2024Updated last year
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- This is the implementation repository of our SOSP'24 paper: Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value …☆22Oct 20, 2024Updated last year
- ☆25Aug 1, 2022Updated 3 years ago
- Kreon is a key-value store library optimized for flash-based storage☆32Feb 7, 2022Updated 4 years ago
- A persistent key-value store that is embeddable and optimized for fast storage.☆36Oct 24, 2024Updated last year
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- ☆36Sep 29, 2021Updated 4 years ago
- Prefix-Aware Attention for LLM Decoding☆29Jan 23, 2026Updated last month
- Code for reproducing work of ICML 2019 paper: Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Appli…☆12Jun 8, 2019Updated 6 years ago
- PetPS: Supporting Huge Embedding Models with Tiered Memory☆33May 21, 2024Updated last year
- Code accompanying the NeurIPS 2019 paper AutoAssist: A Framework to Accelerate Training of Deep Neural Networks.☆14Oct 3, 2022Updated 3 years ago
- [ICDCS 2023] Evaluation and Optimization of Gradient Compression for Distributed Deep Learning☆10Apr 28, 2023Updated 2 years ago
- BigDataBench Spark workloads☆11Jul 15, 2016Updated 9 years ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆19Oct 26, 2013Updated 12 years ago
- pnpm update for pnpm workspace catalogs.☆16Mar 25, 2025Updated 11 months ago
- Mu: Microsecond Consensus for Microsecond Applications☆42Oct 12, 2020Updated 5 years ago
- A TLA+ module for animating TLC traces.☆47Dec 9, 2024Updated last year
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 5 years ago
- ☆13Feb 18, 2026Updated last week
- How to plot for papers, slides, demos, etc.☆10Apr 7, 2022Updated 3 years ago
- ☆10Jun 28, 2025Updated 8 months ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- ✍️ AI copilot for crafting insightful Git commit messages☆11Aug 12, 2023Updated 2 years ago
- Hard Real-Time world-wide clock synchronization utilizing new better algorithms than PTP and NTP uses.☆14Jan 4, 2016Updated 10 years ago
- ☆10May 16, 2021Updated 4 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- ☆15Jul 18, 2023Updated 2 years ago
- ☆11Apr 3, 2023Updated 2 years ago
- ☆10Jun 4, 2021Updated 4 years ago
- PSTensor provides a way to hack the memory management of tensors in TensorFlow and PyTorch by defining your own C++ Tensor Class.☆10Feb 10, 2022Updated 4 years ago
- ☆11Mar 13, 2023Updated 2 years ago
- Website about the project WorkflowHub☆12Feb 12, 2026Updated 2 weeks ago