Author

Bao-Quan Cui

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

From Thread to Pool: Modeling and Static Detection of Thread Pool Misuses in Java Programs

PoolGuard, a static analysis framework for detecting both executor-generic lifecycle/result-handling defects and ThreadPoolExecutor-specific configuration misuses, is developed and applied to large-scale open-source systems.

Bao-Quan Cui, Yu-Cheng Qiu, Rui Han et al. · Proceedings of the 41st IEEE... · 0 citations

Open access Oct 2026

Solving String Split Constraints via Structural Relaxation

String operations are integral to program analysis, yet reasoning about the ubiquitous split operation remains a challenge. SMT solvers have difficulty with split because it transforms a string into a variable-length sequence, creating a structural mismatch that leads to uninterpreted abstractions or unsound bounded ap...

Rui Han, Zi-Heng Wang, Bao-Quan Cui et al. · 0 citations