Jiacai Cui (崔家才)

prof_pic.jpg

Email: [email protected]

Office: Room 529, School of Computer Science, Nanjing University (Xianlin Campus), 163 Xianlin Avenue, Qixia District, Nanjing, Jiangsu, China.

I am a Ph.D. student in Computer Science at Nanjing University, advised by Yue Li who co-runs the PASCAL Research Group with Tian Tan. I received my B.S. degree in Computer Science and Technology from Nanjing University in 2024.

My research focuses on developing program analysis techniques and tools for hardware description languages (HDLs), such as Chisel and Verilog.

Selected Publications

  1. POPL 2026
    ChiSA: Static Analysis for Lightweight Chisel Verification
    Jiacai Cui, Qinlin Chen, Zhongsheng Zhan, Tian Tan*, and Yue Li*
    53rd ACM SIGPLAN Symposium on Principles of Programming Languages, Rennes, France. (Accepted, to Appear) , Jan 2026