Xin Yi

According to our database, Xin Yi authored at least 22 papers between 2016 and 2025.

Collaborative distances:

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

2025

An empirical study of error-free transformations for enhancing mathematical function precision.

Dongting Chen, Jie Shen, Chun Huang, Xin Yi

CCF Trans. High Perform. Comput., June, 2025

Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs.

Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang, Chun Huang, Deheng Yang

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2025

2024

FPCC: Detecting Floating-Point Errors via Chain Conditions (Paper Artifact).

Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang

Dataset, August, 2024

Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments.

Deheng Yang, Jiayu He, Xiaoguang Mao, Tun Li, Yan Lei, Xin Yi, Jiang Wu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2024

FPCC: Detecting Floating-Point Errors via Chain Conditions.

Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang

Proc. ACM Program. Lang., 2024

Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions.

Xianglin Wang, Xin Yi, Hengbiao Yu, Chun Huang, Lin Peng

Proceedings of the 53rd International Conference on Parallel Processing, 2024

2023

Seeing the Whole Elephant: Systematically Understanding and Uncovering Evaluation Biases in Automated Program Repair.

Deheng Yang, Yan Lei, Xiaoguang Mao, Yuhua Qi, Xin Yi

ACM Trans. Softw. Eng. Methodol., May, 2023

Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.

Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang

Proceedings of the IEEE International Conference on Software Analysis, 2023

2022

Automated regression unit test generation for program merges.

Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang

Sci. China Inf. Sci., 2022

Symbolic Verification of Message Signatures in MPI.

Hengbiao Yu, Banghu Yin, Xin Yi

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Detecting High Floating-Point Errors via Ranking Analysis.

Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs.

Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2020

Evolutionary Conflict Checking.

Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang

CoRR, 2020

Understanding Merge Conflicts and Resolutions in Git Rebases.

Tao Ji, Liqian Chen, Xin Yi, Xiaoguang Mao

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019

Efficient automated repair of high floating-point errors in numerical libraries.

Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji

Proc. ACM Program. Lang., 2019

Dissection on Java Organs in GitHub Repositories.

Shangwen Wang, Xiaoguang Mao, Xin Yi

IEEE Access, 2019

Multi-Location Program Repair Strategies Learned from Successful Experience (S).

Shangwen Wang, Xiaoguang Mao, Nan Niu, Xin Yi, Anbang Guo

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques.

Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao

Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019

2018

Multi-Location Program Repair: Roads Ahead.

Shangwen Wang, Xiaoguang Mao, Nan Niu, Xin Yi, Anbang Guo

CoRR, 2018

2017

Automated Repair of High Inaccuracies in Numerical Programs.

Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies.

Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Automated Program Repair by Using Similar Code Containing Fix Ingredients.

Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016