Publications

(* Corresponding Authors)

2026

  1. POPL 2026
    chisa-preview.png
    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, Jan 2026
    DOI PDF Supp Video Code Slides
  2. PLDI 2026
    qihe-preview.png
    Exploiting Sophisticated Static Analysis for Verilog
    Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan*, Xiaoxing Ma, Chang Xu, Jian Lu, and Yue Li*
    47th ACM SIGPLAN Conference on Programming Language Design and Implementation, Boulder, Colorado, United States. (Accepted, to Appear) , Jun 2026
  3. Qihe Project
    qihe-logo.png
    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, and Yue Li*
    Technical Report, Nanjing, China, Jan 2026
    arXiv PDF Website