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, Jun 2026
    DOI PDF Supp Video Code Slides Website
  3. OOPSLA 2026
    fpgaflow-preview.png
    When FPGA Meets Dataflow Analysis: An Explorative Step
    Fang Wei, Qinlin Chen, Nairen Zhang, Jiacai Cui, Tian Tan*, Zhiqiang Zuo, and Yue Li*
    40th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Oakland, California, United States, Oct 2026
    DOI PDF Code Slides
  4. 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