Jianxing Qin

According to our database, Jianxing Qin authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

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

Proceedings of the 23rd USENIX Symposium on Networked Systems Design and Implementation, 2026

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