Jinsheng Ba

According to our database, Jinsheng Ba authored at least 11 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

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

Qiuyang Mang, Jinsheng Ba, Pinjia He, Manuel Rigger

Proc. ACM Manag. Data, June, 2025

Towards a Unified Query Plan Representation.

Jinsheng Ba, Manuel Rigger

Proceedings of the 41st IEEE International Conference on Data Engineering, 2025

2024

Keep It Simple: Testing Databases via Differential Query Plans.

Jinsheng Ba, Manuel Rigger

Proc. ACM Manag. Data, 2024

An Exploratory Case Study of Query Plan Representations.

Jinsheng Ba, Manuel Rigger

CoRR, 2024

Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.

Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation.

Jinsheng Ba, Manuel Rigger

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Finding Performance Issues in Database Engines via Cardinality Estimation Testing.

Jinsheng Ba, Manuel Rigger

CoRR, 2023

Testing Database Engines via Query Plan Guidance.

Jinsheng Ba, Manuel Rigger

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Fast Fuzzing for Memory Errors.

Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury

CoRR, 2022

Stateful Greybox Fuzzing.

Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury

Proceedings of the 31st USENIX Security Symposium, 2022

Efficient Greybox Fuzzing to Detect Memory Errors.

Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022