I am a third-year Ph.D. student in the Department of Computer Science at Duke University, advised by Prof. Danyang Zhuo. Before Duke, I received my Bachelor's degree at Shanghai Jiao Tong University. My research mainly focuses on formal verification and machine learning systems.
Publications
-
Phantora: Maximizing Code Reuse in Simulation-based Machine Learning System Performance Estimation
Jianxing Qin, Jingrong Chen, Xinhao Kong, Yongji Wu, Tianjun Yuan, Liang Luo, Zhaodong Wang, Ying Zhang, Tingjun Chen, Alvin R. Lebeck, Danyang Zhuo
arXiv preprint -
Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark
Jianxing Qin, Alexander Du, Danfeng Zhang, Matthew Lentz, Danyang Zhuo
HotOS 2025 -
VST-A: A Foundationally Sound Annotation Verifier
Litao Zhou, Jianxing Qin, Qishi Wang, Andrew W. Appel, Qinxiang Cao
POPL 2024
Teaching
- Teaching Assistant, Language-Based Security, Duke COMPSCI 587, Fall 2024
- Teaching Assistant, Mathematical Foundations of Computer Science, Duke COMPSCI 334, Spring 2024