Lihan Xie

According to our database, Lihan Xie authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool.

Xiwei Wu, Yueyang Feng, Xiaoyang Lu, Tianchuan Lin, Kan Liu, Zhiyi Wang, Shushu Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Naijun Zhan, Zhenjiang Hu, Qinxiang Cao

CoRR, May, 2025

VEP: A Two-stage Verification Toolchain for Full eBPF Programmability.

Xiwei Wu, Yueyang Feng, Tianyi Huang, Xiaoyang Lu, Shengkai Lin, Lihan Xie, Shizhen Zhao, Qinxiang Cao

Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, 2025

2024

A Natural Formalized Proof Language.

Lihan Xie, Zhicheng Hui, Qinxiang Cao

Proceedings of the Theoretical Aspects of Software Engineering, 2024