alg-nju / disalg-bib-dictLinks
☆11Updated 6 months ago
Alternatives and similar repositories for disalg-bib-dict
Users that are interested in disalg-bib-dict are comparing it to the libraries listed below
Sorting:
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- In Spec We Trust☆35Updated 3 weeks ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- ☆51Updated last year
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆115Updated 2 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆82Updated 3 years ago
- ☆43Updated 3 years ago
- ☆20Updated last year
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆54Updated 8 months ago
- Lock-free Concurrent Level Hashing for Persistent Memory (USENIX ATC 2020)☆51Updated 4 years ago
- Transparent Paxos☆44Updated 6 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Updated 8 years ago
- ☆53Updated 2 years ago
- Software Transactional Objects☆58Updated last year
- Fast In-memory Transaction Processing using RDMA and HTM☆58Updated 9 years ago
- ☆19Updated 4 months ago
- NVM Evaluation Testbed☆29Updated 6 years ago
- Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache☆115Updated 4 years ago
- A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores☆17Updated last year
- MatrixKV: Reducing Write Stalls and Write Amplification in LSM-tree Based KV Stores with a Matrix Container in NVM☆76Updated 4 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- ☆60Updated 2 years ago
- PAIO: General, Portable I/O Optimizations With Minor Application Modifications (FAST'22)☆23Updated 2 years ago
- CS 346 RedBase Project (Stanford)☆37Updated 10 years ago
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Updated 5 years ago
- Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication☆30Updated 9 years ago
- ☆21Updated 3 years ago
- ☆53Updated last year