scuptio / sedeve-kit
In Spec We Trust
☆32Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for sedeve-kit
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆23Updated 7 months ago
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆23Updated last year
- ☆51Updated last year
- ☆21Updated 2 years ago
- The Art of Latency Hiding in Modern Database Engines (VLDB 2024)☆47Updated last month
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆21Updated last year
- TLA+ model checking guided testing for distributed systems☆16Updated 9 months ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆112Updated last year
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 7 months ago
- ☆18Updated 2 weeks ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 5 months ago
- Software Transactional Objects☆55Updated 7 months ago
- Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache☆111Updated 3 years ago
- Source code for Spitfire: A Three-Tier Buffer Manager for Volatile and Non-Volatile Memory☆36Updated last year
- ☆59Updated last year
- The logging module of the DBx1000 database.☆15Updated 4 years ago
- This is the implementation repository of our FAST'23 paper: FUSEE: A Fully Memory-Disaggregated Key-Value Store.☆53Updated last year
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆80Updated 2 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- ☆34Updated 2 years ago
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Updated 4 years ago
- ☆71Updated 4 months ago
- An open-source BzTree implementation☆90Updated 3 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Updated 8 years ago
- An automated prover that verifies the equivalence of SQL queries☆27Updated 3 months ago
- A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs☆74Updated last year
- ☆12Updated 2 years ago
- ☆30Updated 2 years ago
- ☆27Updated 2 years ago