Shaoke Cui -

Registered user since Thu 20 Nov 2025

Name:Shaoke Cui

Country:China

Affiliation:Beihang University

GitHub: https://github.com/Bazoka13

Contributions

2026

ICSE

Author of CombCT: Compiler Testing via Combinatorial Testing within the Research Track-track

2025

ASE

Author of SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization within the Research Papers-track