tcse-iscas / Mocket
TLA+ model checking guided testing for distributed systems
☆15Updated 7 months ago
Related projects: ⓘ
- In Spec We Trust☆28Updated 2 months ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆22Updated 4 months ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆23Updated 11 months ago
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆22Updated last year
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 5 months ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆77Updated 2 years ago
- ☆21Updated last year
- Sundial: A distributed OLTP database testbed.☆37Updated 3 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 6 months ago
- InfiniStore: an elastic serverless cloud storage system (VLDB'23)☆17Updated last year
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆110Updated last year
- A Memory-Disaggregated Managed Runtime.☆65Updated 3 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Updated 7 years ago
- ☆11Updated 3 years ago
- OpenAurora is a cloud-native database system prototype developed at Purdue University. It is an open-source version of Amazon Aurora. It …☆67Updated this week
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆20Updated last year
- Source code for Spitfire: A Three-Tier Buffer Manager for Volatile and Non-Volatile Memory☆36Updated last year
- The repo for SOSP23 paper: FIFO queues are all you need for cache evictions☆92Updated 3 months ago
- The Art of Latency Hiding in Modern Database Engines (VLDB 2024)☆47Updated 7 months ago
- ☆51Updated last year
- ☆20Updated 2 years ago
- A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores☆17Updated 4 months ago
- RECIPE : high-performance, concurrent indexes for persistent memory (SOSP 2019)☆197Updated last year
- ☆68Updated 2 months ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆48Updated last year
- stream processing reading list☆63Updated last year
- ☆58Updated last year
- Software Transactional Objects☆53Updated 5 months ago
- This is the implementation repository of our FAST'23 paper: FUSEE: A Fully Memory-Disaggregated Key-Value Store.☆50Updated last year
- ☆51Updated last year