Preprints

Chunhao Liao, Hongxu Xu, Xintong Zhou, Yizhou Zhang, Chengnian Sun (2026). LLVM Translation Validation Automated with Large Language Models and Lean. arXiv:2609.19583.

PDF Cite

Yuanmin Xie, Xiangfan Wu, Wenhao Wu, Lingyun Ying, Puzhuo Liu, Haipeng Qu, Zhongyuan Chen, Min Zhou, Chengnian Sun (2026). ShadowProbe: Language-Extensible Detection of Hidden Algorithmic Complexity Vulnerabilities. arXiv:2607.05474.

PDF Cite

Xintong Zhou, Hongxu Xu, Chunhao Liao, Puzhuo Liu, Yongqiang Tian, Chengnian Sun (2026). Semantic-aware and Self-improving Program Reduction via Agentic Large Language Models. arXiv:2607.03766.

PDF Cite

Hongxu Xu, Chunhao Liao, Xintong Zhou, Chengnian Sun (2026). Can Coding Agents Implement Missed Compiler Optimizations? Evaluating LLM Agents on LLVM Peephole Optimizations. arXiv:2607.02684.

PDF Cite

Chunhao Liao, Hongxu Xu, Xintong Zhou, Zhenyang Xu, Chengnian Sun (2026). Leveraging Large Language Models for Generalizing Peephole Optimizations. arXiv:2603.18477.

PDF Cite

Yongqiang Tian, Zhenyang Xu, Hongxu Xu, Xintong Zhou, Chunhao Liao, Yiwen Dong, Mengxiao Zhang, Chengnian Sun (2026). Program Reduction: A Comprehensive Survey. Preprint.

PDF Cite