Publications

You can also find my articles on my Google Scholar profile.

[Preprint] KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang
The 31st Symposium on Operating Systems Principles
(SOSP 2025), Oct 2025. [paper] [code]