Tao Zhang, Bei Zhou, Jianmin Pang, Fei Li, Hongru Yang, Mengyao Duan, Jianing Zhang, Shuai Wang, Jinchen Xu
2025 IEEE International Conference on High Performance Computing and Communications (HPCC) 2025
This work studies performance optimization of general matrix multiplication for RISC-V processors.
Tao Zhang, Bei Zhou, Jianmin Pang, Fei Li, Hongru Yang, Mengyao Duan, Jianing Zhang, Shuai Wang, Jinchen Xu
2025 IEEE International Conference on High Performance Computing and Communications (HPCC) 2025
This work studies performance optimization of general matrix multiplication for RISC-V processors.
Zuoyan Zhang, Shihan Yuan, Hongru Yang, Jie Zhao, Jinchen Xu
2025 25th International Conference on Software Quality, Reliability and Security (QRS) 2025
This work introduces adaptive parallel subdomain search to improve the scalability of floating-point error detection.
Zuoyan Zhang, Shihan Yuan, Hongru Yang, Jie Zhao, Jinchen Xu
2025 25th International Conference on Software Quality, Reliability and Security (QRS) 2025
This work introduces adaptive parallel subdomain search to improve the scalability of floating-point error detection.
Fudong Liu, Tailyu Fan, Guoqiang Shu, Chunyan Zhang, Weilong Wang, Xuyan Qi, Xinxin Zhu, Hongru Yang, Yangyang Fei
Quantum Science and Technology 2025
This work explores the use of the controlled-CPHASE-SWAP gate in quantum circuit synthesis, including quantum error correction, quantum Fourier transform, and quantum approximate optimization algorithms.
Fudong Liu, Tailyu Fan, Guoqiang Shu, Chunyan Zhang, Weilong Wang, Xuyan Qi, Xinxin Zhu, Hongru Yang, Yangyang Fei
Quantum Science and Technology 2025
This work explores the use of the controlled-CPHASE-SWAP gate in quantum circuit synthesis, including quantum error correction, quantum Fourier transform, and quantum approximate optimization algorithms.
Mengqi Cui, Jinchen Xu, Yuchang Zhou, Hongru Yang, Liguang Ji, Bei Zhou
The Journal of Supercomputing 2025
PESA uses variance decomposition and the Sobol method to analyze the error sensitivity of variables in LLVM-based floating-point programs.
Mengqi Cui, Jinchen Xu, Yuchang Zhou, Hongru Yang, Liguang Ji, Bei Zhou
The Journal of Supercomputing 2025
PESA uses variance decomposition and the Sobol method to analyze the error sensitivity of variables in LLVM-based floating-point programs.
Yuchang Zhou, Ping Zhang, Jinchen Xu, Bei Zhou, Mengqi Cui, Hongru Yang, Liguang Ji, Jianing Zhang
2025 8th International Conference on Software Engineering and Information Management (ICSIM) 2025
AutoFPIR automatically converts floating-point programs into an equivalent intermediate representation for downstream analysis and transformation.
Yuchang Zhou, Ping Zhang, Jinchen Xu, Bei Zhou, Mengqi Cui, Hongru Yang, Liguang Ji, Jianing Zhang
2025 8th International Conference on Software Engineering and Information Management (ICSIM) 2025
AutoFPIR automatically converts floating-point programs into an equivalent intermediate representation for downstream analysis and transformation.
Yu Zhu, Jinchen Xu, Qing Mu, Hongru Yang, Xiaodong Ding, Qiming Du, Zheng Shan
2024 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) 2024
LCOC is a low-cost optimizing compiler designed to map and optimize large-scale quantum programs for realistic hardware constraints.
Yu Zhu, Jinchen Xu, Qing Mu, Hongru Yang, Xiaodong Ding, Qiming Du, Zheng Shan
2024 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) 2024
LCOC is a low-cost optimizing compiler designed to map and optimize large-scale quantum programs for realistic hardware constraints.
Jinchen Xu, Mengqi Cui, Fei Li, Zuoyan Zhang, Hongru Yang, Bei Zhou, Jie Zhao
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2024
Arfa partitions a floating-point expression domain into regimes and efficiently searches for rewrite substitutions that reduce maximum and average rounding errors.
Jinchen Xu, Mengqi Cui, Fei Li, Zuoyan Zhang, Hongru Yang, Bei Zhou, Jie Zhao
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2024
Arfa partitions a floating-point expression domain into regimes and efficiently searches for rewrite substitutions that reduce maximum and average rounding errors.
Jiangwei Hao, Yuanyuan Xia, Fei Li, Hongru Yang, Zongjiang Yi, Bei Zhou, Jianmin Pang
30th Asia-Pacific Software Engineering Conference (APSEC) 2023
AMPT automatically tunes floating-point precision using accuracy gain to balance numerical accuracy and computational efficiency.
Jiangwei Hao, Yuanyuan Xia, Fei Li, Hongru Yang, Zongjiang Yi, Bei Zhou, Jianmin Pang
30th Asia-Pacific Software Engineering Conference (APSEC) 2023
AMPT automatically tunes floating-point precision using accuracy gain to balance numerical accuracy and computational efficiency.
Hongru Yang, Jinchen Xu, Jiangwei Hao, Zuoyan Zhang, Bei Zhou
IET Software 2023
This work proposes a characteristic particle swarm optimization algorithm and the PSOED tool to detect inputs that trigger significant floating-point expression errors.
Hongru Yang, Jinchen Xu, Jiangwei Hao, Zuoyan Zhang, Bei Zhou
IET Software 2023
This work proposes a characteristic particle swarm optimization algorithm and the PSOED tool to detect inputs that trigger significant floating-point expression errors.
Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu, Jie Zhao
38th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2023
Eiffel samples and clusters floating-point error data, then uses polynomial extrapolation to infer input ranges that induce significant numerical errors.
Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu, Jie Zhao
38th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2023
Eiffel samples and clusters floating-point error data, then uses polynomial extrapolation to infer input ranges that induce significant numerical errors.