Zichen Xie

zichenxie0106@gmail.com

my_pic.png

I am an incoming CS PhD student at the University of Virginia (UVA). I earned my bachelor’s degree at Zhejiang University(ZJU), and it’s my honor to work with Prof. Lingming Zhang and Professor Shouling Ji during my undergraduate time.

I am a member of ACEE (Advanced Honor Class for Engineering Education) in Chu Kochen Honors College.

My research interests lie in the areas of Software Engineering, Software Security and Machine Learning, especially in leveraging machine learning for program analysis, code generation and improving the reliability of software systems.

To date, my work has uncovered more than 140 previously unknown bugs in different open-source projects, including Apache Druid and Netty, as well as 77 bugs in the Linux Kernel.

selected publications

  1. ISSTA 2025
    CryptoGPT.png
    Exploring Automatic Cryptographic API Misuse Detection in the Era of LLMs
    Yifan Xia, Zichen Xie, Peiyu Liu, and 4 more authors
    arXiv preprint arXiv:2407.16576, 2024
  2. Pre-print
    KNighter.png
    KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
    Chenyuan Yang, Zijie Zhao, Zichen Xie, and 2 more authors
    arXiv preprint arXiv:2503.09002, 2025

internships

Jul. 2024 - Sept. 2024 Tencent CDG, Wechat Ads, Software Testing Engineer