Rui Han -

Registered user since Sun 13 Jul 2025

Name:Rui Han

Country:China

Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

Contributions

2026

ASE

Author of From Thread to Pool: Modeling and Static Detection of Thread Pool Misuses in Java Programs within the Research Papers-track

ISSTA

Author of Solving String Split Constraints via Structural Relaxation within the Research papers-track

2023

ASE

Author of PSMT: Satisfiability Modulo Theories Meets Probability Distribution within the NIER Track-track
Author of NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization within the Tool Demonstrations-track

ISSTA

Author of Improving Bit-Blasting for Nonlinear Integer Constraints within the Technical Papers-track