Jinsheng Ba

Jinsheng Ba is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, mentored by Prof. Zhendong Su. He received his Ph.D. degree in Computer Science from National University of Singapore (NUS) in 2024, advised by Dr. Manuel Rigger. His research interests include software testing, security, and software engineering. He has published papers in top-tier conferences, such as Usenix Security, ICSE, and SIGMOD. His work has been recognized with Distinguished Paper Award twice at ASE 2022 and ICSE 2023. He is also a recipient of NUS Dean’s Graduate Research Excellence Award.

News

Oct 4, 2024	I gave a talk to Languages, Systems, and Data (LSD) Lab at UC Santa Cruz.
Jul 18, 2024	I successfully defended my PhD thesis and will join ETH Zurich as a postdoc researcher! 🎉🎓
Mar 14, 2024	Our paper `Keep It Simple: Testing Databases via Differential Query Plans` was accepted at SIGMOD’24!
Jan 12, 2024	I was invited to serve on the Program Committee for DBTEST’24 Workshop co-loated with SIGMOD’24.
Jan 8, 2024	Our work `Testing Database Engines via Query Plan Guidance` received research hightlight from NUS School of Computing!
Nov 1, 2023	I attended Dagstuhl seminar: Ensuring the Reliability and Robustness of Database Management Systems.
Oct 10, 2023	Our paper `CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation` was accepted at ICSE’24!
Aug 10, 2023	I received `Dean's Graduate Research Excellence Award` from NUS School of Computing!
Jul 18, 2023	I was invited to server on the Program Committee for FSE’23 Artifact Evaluation.
Jul 5, 2023	I visited Institute of Software Chinese Academy of Sciences and gave a talk about database testing, hosted by Wensheng Dou.

Selected Publications

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

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

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

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

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
}