Qinlin Chen

According to our database, Qinlin Chen authored at least 5 papers between 2021 and 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

2023

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li

Proc. ACM Program. Lang., October, 2023

Attention-Based BiLSTM For Malware Family Classification.

Yonglin Liao, Nurbol Luktarhan, Yue Wang, Qinlin Chen

Proceedings of the 2023 4th International Conference on Computing, 2023

2021

Comprehensive Evaluation Model of Bearing Transportation Protection Effect of Bogie Traction Motor under Data Imbalance.

Yi Liu, Qi Chang, Jiaxin Luo, Linli, Junfeng Man, Fenwei, Qinlin Chen, Yiping Shen

J. Sensors, 2021