Jiacai Cui

According to our database, Jiacai Cui authored at least 2 papers in 2026.

Collaborative distances:

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

2026

Qihe: A General-Purpose Static Analysis Framework for Verilog.

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li

CoRR, January, 2026

ChiSA: Static Analysis for Lightweight Chisel Verification.

Jiacai Cui, Qinlin Chen, Zhongsheng Zhan, Tian Tan, Yue Li

Proc. ACM Program. Lang., 2026