microsoft / weak-isolation-mock-dbLinks
In-memory key-value store for testing applications against weak behaviors of a database.
☆11Updated 4 years ago
Alternatives and similar repositories for weak-isolation-mock-db
Users that are interested in weak-isolation-mock-db are comparing it to the libraries listed below
Sorting:
- Sample EVM application for CCF☆14Updated 4 years ago
- A library for testing concurrent C++ code and deterministically reproducing bugs.☆44Updated 3 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆15Updated 3 years ago
- VeriBetrKV OSDI'20 artifact☆12Updated 5 years ago
- Verifying concurrent code with layers and movers☆13Updated 5 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆148Updated 10 months ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆27Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆234Updated 4 years ago
- Reading the linearizability paper with TLA+☆51Updated 3 years ago
- Linearizability Visualizer☆10Updated 10 years ago
- Generic model checker for concurrent C programs (mirror repository)☆178Updated 3 weeks ago
- Linear algebra subroutines for large SSD-resident dense and sparse matrices☆29Updated 5 years ago
- Parallel Balanced Binary Tree Structures☆121Updated 9 months ago
- Fixed-Point Decimal Library from Carnegie Mellon University☆37Updated last year
- GPUVerify: a Verifier for GPU Kernels☆74Updated 3 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆135Updated 2 years ago
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.☆48Updated 4 years ago
- Transparent Paxos☆45Updated 6 years ago
- GPU model checker☆11Updated 6 years ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆27Updated last year
- Pluscal/TLA+ modeling of distributed systems/protocols☆81Updated 2 years ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Updated 12 years ago
- Azure Cosmos TLA+ specifications☆288Updated 2 years ago
- A verification tool for many memory models☆106Updated this week
- A C library to support applications that map Non-Volatile Memory into their address space for load/store access.☆58Updated 6 years ago
- D4: Fast Concurrency Debugging with Parallel Differential Analysis☆18Updated 5 years ago
- This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.☆15Updated 5 years ago
- Storage systems with verified correctness properties☆59Updated 2 weeks ago