Zichen Xie

According to our database, Zichen Xie authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers.

Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang

CoRR, March, 2025

Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs.

Yifan Xia, Zichen Xie, Peiyu Liu, Kangjie Lu, Yan Liu, Wenhai Wang, Shouling Ji

Proc. ACM Softw. Eng., 2025

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers.

Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

2024

Exploring Automatic Cryptographic API Misuse Detection in the Era of LLMs.

Yifan Xia, Zichen Xie, Peiyu Liu, Kangjie Lu, Yan Liu, Wenhai Wang, Shouling Ji

CoRR, 2024

Partial Coherence for Object Recognition and Depth Sensing.

Zichen Xie, Ken Xingze Wang

CoRR, 2024