pbailis / bolton-sigmod2013-code
EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
☆12Updated 11 years ago
Alternatives and similar repositories for bolton-sigmod2013-code:
Users that are interested in bolton-sigmod2013-code are comparing it to the libraries listed below
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆136Updated 6 years ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 2 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- A TLA+ module for animating TLC traces.☆45Updated last month
- ☆54Updated last year
- ☆27Updated 9 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 9 years ago
- Core components for the Scribble Java tools☆56Updated 3 months ago
- ☆10Updated 10 months ago
- Just in Time Datastructures☆11Updated 7 years ago
- Savina is an Actor Benchmark Suite.☆36Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆31Updated last year
- Fast linearizability checker☆66Updated 9 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- The Musketeer workflow manager.☆41Updated 6 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 10 months ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆72Updated 6 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆103Updated 10 months ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- Kompics - A message-passing component model for building distributed systems☆65Updated 2 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- Eris distributed transactions☆52Updated 6 years ago
- SQL Testing Framework for the Peloton DBMS☆20Updated 7 years ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated last year
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆24Updated 7 years ago
- Interactive, web-based environment for exploring and visualizing TLA+ specifications.☆91Updated this week
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 6 years ago