pbailis / bolton-sigmod2013-code
EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
☆12Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for bolton-sigmod2013-code
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆136Updated 6 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆72Updated 9 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- ☆27Updated 8 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 2 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 8 months ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 2 years ago
- ☆54Updated last year
- Core components for the Scribble Java tools☆56Updated last month
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated 10 months ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Updated 5 years ago
- Tests with PlusCal / TLA+☆25Updated 7 years ago
- Atomix Jepsen tests☆14Updated 7 years ago
- Extensible stream pipelines with object algebras.☆26Updated 9 years ago
- Just in Time Datastructures☆12Updated 7 years ago
- A TLA+ module for animating TLC traces.☆45Updated 4 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 5 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆72Updated 6 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆13Updated last month
- A Haskell library for declarative programming over eventually consistent store (Cassandra).☆18Updated 6 years ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- Implementation of Raft consensus algorithm☆112Updated 9 years ago
- generative programming & verification☆32Updated 3 years ago
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- ☆10Updated 8 months ago