All Stories

  1. Finding Missed Optimizations in DBMSs through Unbalanced Short-circuit Query Construction
  2. Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
  3. SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis
  4. Detecting Logic Bugs in DBMSs via Equivalent Data Construction
  5. Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification
  6. Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis
  7. DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
  8. Understanding and Detecting SQL Function Bugs: Using Simple Boundary Arguments to Trigger Hundreds of DBMS Bugs
  9. Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer