2026 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, Jan 2026 DOI PDF Supp Video Code Slides PLDI 2026 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 Code Qihe Project 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
