Home | Lab | Publication | Teaching
Publication
  1. State-Aware and Granular Framework for Validating Graph Databases
    Celine Wüst*, Zuming Jiang*, Zhendong Su. (* Equal Contribution)
    In Proceedings of the 52nd International Conference on Very Large Data Bases (VLDB'26). Boston, August 31 - September 4, 2026.
  2. Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
    Yonghao Zou, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, Diyu Zhou.
    In Proceedings of the 32th Network and Distributed System Security Symposium (NDSS'25). San Diego, February 24 - 28, 2025.
    [PDF | GitHub | YouTube]
  3. Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation
    Zu-Ming Jiang, Zhendong Su.
    In Proceeding of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24). Santa Clara, July 10 - 12, 2024.
    [PDF | GitHub | YouTube]
  4. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
    Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su.
    In Proceeding of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23). Boston, July 10 - 12, 2023.
    [PDF | GitHub | YouTube]
  5. DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation
    Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su.
    In Proceedings of the 32nd USENIX Security Symposium (Security'23). Anaheim, August 9 - 11, 2023.
    [PDF | YouTube]
  6. Testing Error Handling Code with Software Fault Injection and Error-Coverage-Guided Fuzzing
    Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, Zu-Ming Jiang.
    IEEE Transactions on Dependable and Secure Computing (TDSC'23), 2023.
    [PDF]
  7. Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection
    Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu.
    In Proceedings of the 29th Network and Distributed System Security Symposium (NDSS'22). San Diego, February 27 - March 3, 2022.
    [PDF | YouTube]
  8. Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers
    Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu.
    IEEE Transactions on Software Engineering (TSE'22), 2022.
    [PDF]
  9. Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection
    Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu.
    In Proceedings of the 29th USENIX Security Symposium (Security'20). Boston, August 12 - 14, 2020.
    [PDF | YouTube]
  10. Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection
    Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu.
    In Proceedings of the 30th International Symposium on Software Reliability Engineering (ISSRE'19). Berlin, October 28 - 31, 2019.
    [PDF]
  11. Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers
    Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu.
    In Proceedings of the 26th International Conference on Software Analysis, Evolution and Reengineering (SANER'19). Hangzhou, February 24 - 27, 2019.
    [PDF]
© Copyright 2025 Zuming Jiang