Zichen Xie

According to our database, Zichen Xie authored at least 7 papers between 2024 and 2026.

Collaborative distances:

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

2026

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought.

Zichen Xie, Wenxi Wang

CoRR, March, 2026

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

NearLink: Emerging Short Range Wireless Standard with Ultra-Low Latency and Ultra-High Reliability.

Zhan Yu, Zichen Xie, Qian Yu, Kang Wang, Hang Fang, Weihua Li, Zhan Guo

Proceedings of the 36th IEEE International Symposium on Personal, 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