Publications

2024

  1. Ph.D. Thesis
    Testing Database Engines via Query Plans
    Jinsheng, Ba
    National University of Singapore Ph.D. Thesis Jul 2024
  2. arXiv
    An Exploratory Case Study of Query Plan Representations
    Jinsheng, Ba, and Manuel, Rigger
    Jul 2024
  3. SIGMOD
    Keep It Simple: Testing Databases via Differential Query Plans
    Jinsheng, Ba, and Manuel, Rigger
    Proceeding of ACM Management of Data (SIGMOD’24) Jun 2024
  4. ICSE
    CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
    Jinsheng, Ba, and Manuel, Rigger
    In The 46th International Conference on Software Engineering (ICSE’24) Apr 2024
  5. ICSE
    Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation
    Yuancheng, Jiang, Jiahao, Liu,  Jinsheng, Ba, Roland H.C., Yap, Zhenkai, Liang, and Manuel, Rigger
    In The 46th International Conference on Software Engineering (ICSE’24) Apr 2024

2023

  1. ICSE
    Testing Database Engines via Query Plan Guidance
    Jinsheng, Ba, and Manuel, Rigger
    In The 45th International Conference on Software Engineering (ICSE’23) May 2023
    🏆ACM SIGSOFT Distinguished Paper Award🏆

2022

  1. ASE
    Efficient Greybox Fuzzing to Detect Memory Errors
    Jinsheng, Ba, Gregory J, Duck, and Abhik, Roychoudhury
    In The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE’22) Oct 2022
    🏆ACM SIGSOFT Distinguished Paper Award🏆
  2. USENIX SEC
    Stateful Greybox Fuzzing
    Jinsheng, Ba, Marcel, Böhme, Zahra, Mirzamomen, and Abhik, Roychoudhury
    In 31st USENIX Security Symposium (SEC’22) Aug 2022