Shaoke Cui

According to our database, Shaoke Cui authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization.

Shaoke Cui, Chuan Luo, Zhenwei Yang, Jiabao Lin, Wei Wu, Chanjuan Liu, Shaowei Cai, Chunming Hu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2026

2025

SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization.

Chuan Luo, Shaoke Cui, Jianping Song, Xindi Zhang, Wei Wu, Chanjuan Liu, Shaowei Cai, Chunming Hu

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025