Publications

2024

1. 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 Code

   @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)},
   }

2. 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},
   }

3. 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
   }