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