qaqcatz / impomysql
Detecting Logic Bugs in MySQL through Implication Oracle
☆13Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for impomysql
- A fuzzing framework for finding transactional bugs in DBMSs☆50Updated last year
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆69Updated 4 years ago
- An automated prover that verifies the equivalence of SQL queries☆27Updated 3 months ago
- 数据库测试资料 This repo is a collection of resources on testing database systems☆168Updated last year
- Coveraged-based fuzzer for finding DBMS logical bugs☆48Updated 2 years ago
- ☆30Updated 2 years ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆31Updated 2 weeks ago
- ☆11Updated 3 years ago
- ☆51Updated last year
- Paper related to OLAP techniques☆57Updated last week
- In Spec We Trust☆32Updated 4 months ago
- ☆22Updated 3 years ago
- Reducing the cache misses of SIMD vectorization using IMV☆27Updated 2 years ago
- ☆21Updated 2 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆21Updated last year
- Automated testing tool to find logic bugs in graph database systems☆16Updated last year
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 7 months ago
- A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs☆74Updated last year
- 🔍 To record the papers I have read.☆24Updated 3 years ago
- ☆52Updated 6 months ago
- ☆185Updated last year
- The Art of Latency Hiding in Modern Database Engines (VLDB 2024)☆47Updated last month
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- continuously update cloud database papers☆79Updated 5 months ago
- Viper: A hybrid PMem-DRAM Key-Value Store for Persistent Memory (VLDB '21)☆73Updated 2 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- fuzzing for config☆13Updated 4 years ago
- GitHub Repo for STAR: Scaling Transactions through Asymmetric Replication☆21Updated 5 years ago
- This is the implementation repository of our FAST'23 paper: FUSEE: A Fully Memory-Disaggregated Key-Value Store.☆53Updated last year