michael-emmi / violatLinks
☆10Updated last year
Alternatives and similar repositories for violat
Users that are interested in violat are comparing it to the libraries listed below
Sorting:
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- Fast linearizability checker☆67Updated 10 years ago
- Savina is an Actor Benchmark Suite.☆37Updated 4 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- Embeddable multi-Paxos For The JVM☆76Updated 7 months ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 11 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 3 years ago
- ☆14Updated 6 years ago
- Atomix Jepsen tests☆14Updated 8 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Presentation slides from conferences☆18Updated 5 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆139Updated 7 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- ☆40Updated 3 months ago
- An implementation of LDFI☆128Updated 6 years ago
- Parallel boolean circuit evaluation☆26Updated 6 years ago
- Utilities for HDR Histogram logs manipulation☆30Updated 4 years ago
- Java implementation of the Tracing Plane -- Baggage Contexts and Execution-Flow Scoped Variables☆32Updated 5 years ago
- Immutable key/value store with efficient space utilization and fast reads. They are ideal for the use-case of tables built by batch proce…☆100Updated 2 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- Code for Method Dispatch article☆13Updated 10 years ago
- Harry for Apache Cassandra®☆54Updated last year
- ☆27Updated 9 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated 2 years ago
- Concurrent TreeMap w/ efficient support for clone() and consistent iteration☆151Updated 12 years ago