All Stories

  1. Finding Missed Optimizations in DBMSs through Unbalanced Short-circuit Query Construction

    Article • Proceedings of the ACM on Management of Data, May 2026, ACM (Association for Computing Machinery)

    Zhiyong Wu, Jingzhou Fu

  2. EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction

    Article • Proceedings of the ACM on Management of Data, May 2026, ACM (Association for Computing Machinery)

    Zhiyong Wu, Linzhang Wang

  3. Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation

    Article • Proceedings of the ACM on Programming Languages, April 2026, ACM (Association for Computing Machinery)

    Jingzhou Fu, Zhiyong Wu, Zongrui Peng

  4. SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis

    Article • Proceedings of the ACM on Management of Data, December 2025, ACM (Association for Computing Machinery)

    Zhiyong Wu, Jingzhou Fu

  5. Detecting Logic Bugs in DBMSs via Equivalent Data Construction

    Article • Proceedings of the ACM on Management of Data, December 2025, ACM (Association for Computing Machinery)

    Zhiyong Wu, Jingzhou Fu

  6. Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification

    Article • October 2025, ACM (Association for Computing Machinery)

    Zhiyong Wu, Jingzhou Fu

  7. Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis

    Article • Proceedings of the ACM on Software Engineering, June 2025, ACM (Association for Computing Machinery)

    Zhiyong Wu, Jingzhou Fu

  8. DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems

    Article • Proceedings of the ACM on Software Engineering, June 2025, ACM (Association for Computing Machinery)

    Zhiyong Wu, Jingzhou Fu

  9. Understanding and Detecting SQL Function Bugs: Using Simple Boundary Arguments to Trigger Hundreds of DBMS Bugs

    Article • March 2025, ACM (Association for Computing Machinery)

    Jingzhou Fu, Zhiyong Wu

  10. When Fuzzing Meets LLMs: Challenges and Opportunities

    Article • July 2024, ACM (Association for Computing Machinery)

    Zhiyong Wu

  11. Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling

    Article • July 2024, ACM (Association for Computing Machinery)

    Zhiyong Wu

  12. Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation

    Article • April 2024, ACM (Association for Computing Machinery)

    Zhiyong Wu

  13. Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer

    Article • April 2024, ACM (Association for Computing Machinery)

    Jingzhou Fu, Zhiyong Wu

  14. Griffin : Grammar-Free DBMS Fuzzing

    Article • October 2022, ACM (Association for Computing Machinery)

    Zhiyong Wu

  15. Unicorn: detect runtime errors in time-series databases with hybrid input synthesis

    Article • July 2022, ACM (Association for Computing Machinery)

    Zhiyong Wu