tcse-iscas / Mocket
TLA+ model checking guided testing for distributed systems
☆16Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for Mocket
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆23Updated 6 months ago
- In Spec We Trust☆32Updated 4 months ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆22Updated last year
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 8 months ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆80Updated 2 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- Run TLC in cmd☆14Updated 8 months ago
- ☆19Updated 3 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Updated 8 years ago
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆23Updated last year
- ☆21Updated 2 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 7 months ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆50Updated 2 months ago
- A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores☆17Updated 6 months ago
- Software Transactional Objects☆55Updated 7 months ago
- The repo for SOSP23 paper: FIFO queues are all you need for cache evictions☆95Updated 5 months ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆21Updated last year
- InfiniStore: an elastic serverless cloud storage system (VLDB'23)☆17Updated last year
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆13Updated last year
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆13Updated last week
- ☆11Updated 3 years ago
- A collection of state machine replication protocols☆118Updated last year
- ☆18Updated 2 weeks ago
- A Memory-Disaggregated Managed Runtime.☆65Updated 3 years ago
- ☆49Updated 8 months ago
- OpenAurora is a cloud-native database system prototype developed at Purdue University. It is an open-source version of Amazon Aurora. It …☆72Updated this week
- Key Value Store based on LevelDB☆110Updated 3 years ago
- ☆58Updated 7 months ago
- ☆30Updated 2 years ago