Jianxing Qin

According to our database, Jianxing Qin authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Phantora: Live GPU Cluster Simulation for Machine Learning System Performance Estimation.

Jianxing Qin, Jingrong Chen, Xinhao Kong, Yongji Wu, Liang Luo, Zhaodong Wang, Ying Zhang, Tingjun Chen, Alvin R. Lebeck, Danyang Zhuo

CoRR, May, 2025

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

Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, 2025

2024

VST-A: A Foundationally Sound Annotation Verifier.

Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao

Proc. ACM Program. Lang., January, 2024