Publications

2025

1. SIGMOD

   Finding Logic Bugs in Graph-processing Systems via Graph-cutting

   Qiuyang, Mang,  Jinsheng, Ba, Pinjia, He, and Manuel, Rigger

   Proceeding of ACM Management of Data (SIGMOD’25) Jun 2025

   Bib

   @article{qiuyang2025cutting,
     author = {Mang, Qiuyang and Ba, Jinsheng and He, Pinjia and Rigger, Manuel},
     title = {Finding Logic Bugs in Graph-processing Systems via Graph-cutting},
     year = {2025},
     month = jun,
     issue_date = {June 2025},
     publisher = {Association for Computing Machinery},
     journal = {Proceeding of ACM Management of Data (SIGMOD'25)},
   }

2024

1. Ph.D. Thesis

   Testing Database Engines via Query Plans

   Jinsheng, Ba

   National University of Singapore Ph.D. Thesis Jul 2024

   Bib PDF Slides

   @article{thesis,
     author = {Ba, Jinsheng},
     title = {Testing Database Engines via Query Plans},
     journal = {National University of Singapore Ph.D. Thesis},
     year = {2024},
     month = jul
   }

2. arXiv

   An Exploratory Case Study of Query Plan Representations

   Jinsheng, Ba, and Manuel, Rigger

   Jul 2024

   arXiv
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

   Bib PDF Video Code Poster Slides

   @article{dqp,
     author = {Ba, Jinsheng and Rigger, Manuel},
     title = {Keep It Simple: Testing Databases via Differential Query Plans},
     url = {https://doi.org/10.1145/3654991},
     doi = {10.1145/3654991},
     year = {2024},
     month = jun,
     issue_date = {June 2024},
     publisher = {Association for Computing Machinery},
     journal = {Proceeding of ACM Management of Data (SIGMOD'24)},
   }

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

   arXiv Bib PDF Code

   @inproceedings{cert,
     author = {Ba, Jinsheng and Rigger, Manuel},
     title = {CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation},
     booktitle = {The 46th International Conference on Software Engineering (ICSE'24)},
     year = {2024},
     month = apr,
     url = {https://doi.org/10.1145/3597503.3639076},
     doi = {10.1145/3597503.3639076},
   }

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

   Bib PDF Code

   @inproceedings{jiang2024detecting,
     author = {Jiang, Yuancheng and Liu, Jiahao and Ba, Jinsheng and Yap, Roland H.C. and Liang, Zhenkai and Rigger, Manuel},
     title = {Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation},
     url = {https://doi.org/10.1145/3597503.3623307},
     doi = {10.1145/3597503.3623307},
     booktitle = {The 46th International Conference on Software Engineering (ICSE'24)},
     year = {2024},
     month = apr,
   }

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🏆

   arXiv Bib PDF Code Slides

   @inproceedings{qpg,
     author = {Ba, Jinsheng and Rigger, Manuel},
     title = {Testing Database Engines via Query Plan Guidance},
     booktitle = {The 45th International Conference on Software Engineering (ICSE'23)},
     url = {https://doi.org/10.1109/ICSE48619.2023.00174},
     doi = {10.1109/ICSE48619.2023.00174},
     year = {2023},
     month = may,
   }

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🏆

   arXiv Bib PDF Video Code Slides

   @inproceedings{rezzan,
     author = {Ba, Jinsheng and Duck, Gregory J and Roychoudhury, Abhik},
     title = {Efficient Greybox Fuzzing to Detect Memory Errors},
     booktitle = {The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE'22)},
     url = {https://doi.org/10.1145/3551349.3561161},
     doi = {10.1145/3551349.3561161},
     year = {2022},
     month = oct,
     numpages = {14},
   }

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

   arXiv Bib PDF Video Code Slides

   @inproceedings{sgfuzz,
     author = {Ba, Jinsheng and B{\"o}hme, Marcel and Mirzamomen, Zahra and Roychoudhury, Abhik},
     title = {Stateful Greybox Fuzzing},
     booktitle = {31st USENIX Security Symposium (SEC'22)},
     year = {2022},
     isbn = {978-1-939133-31-1},
     address = {Boston, MA},
     pages = {3255--3272},
     url = {https://www.usenix.org/conference/usenixsecurity22/presentation/ba},
     publisher = {USENIX Association},
     month = aug
   }