qaqcatz / impomysql

Related projects: ⓘ

• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆49Updated last year
• PSU-Security-Universe / sqlright
  Coveraged-based fuzzer for finding DBMS logical bugs
  ☆45Updated last year
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆68Updated 4 years ago
• zhangysh1995 / awesome-database-testing
  数据库测试资料 This repo is a collection of resources on testing database systems
  ☆167Updated last year
• tidb-incubator / vldbss-2021
  ☆22Updated 3 years ago
• SJTU-IPADS / vegito
  ☆51Updated last year
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆19Updated 3 months ago
• DBCobra / CobraHome
  ☆11Updated 3 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆28Updated 2 months ago
• Wind-Gone / awesome-olap-paper
  Paper related to OLAP techniques
  ☆50Updated last week
• dmemsys / FUSEE
  This is the implementation repository of our FAST'23 paper: FUSEE: A Fully Memory-Disaggregated Key-Value Store.
  ☆50Updated last year
• gdbmeter / gdbmeter
  Automated testing tool to find logic bugs in graph database systems
  ☆15Updated 10 months ago
• SJTU-IPADS / SQLSolver
  An automated prover that verifies the equivalence of SQL queries
  ☆20Updated last month
• alexandervanrenen / pmembench
  Low level algorithms for persistent memory.
  ☆16Updated 3 years ago
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• SJTU-IPADS / dst
  A decentralized scalar timestamp scheme
  ☆14Updated 3 years ago
• zxjcarrot / 2-Tree
  Tiered Indexing is a general way to improve the memory utilization of buffer-managed data structures including B+tree, Hashing, Heap, and…
  ☆26Updated 4 months ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆37Updated 3 years ago
• abcdabcd989 / DBMSology
  ☆70Updated this week
• CloudOLTP / Cornus
  ☆21Updated last year
• CASP-Systems-BU / Gadget
  A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores
  ☆17Updated 4 months ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆22Updated 4 months ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆71Updated 5 months ago
• PingCAP-QE / go-sqlancer
  go-sqlancer
  ☆73Updated 4 years ago
• hpides / viper
  Viper: A hybrid PMem-DRAM Key-Value Store for Persistent Memory (VLDB '21)
  ☆73Updated 2 years ago
• thu-pacman / TriCache
  A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs
  ☆74Updated last year
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆20Updated last year
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆47Updated 7 months ago
• fzhedu / db-imv
  Reducing the cache misses of SIMD vectorization using IMV
  ☆27Updated 2 years ago
• vldbss-2022 / vldbss2022
  ☆29Updated last year