Xin Yi

24 papers A 6B 2C 5Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
An empirical study of error-free transformations for enhancing mathematical function precision.
CCF Trans. High Perform. Comput.
Dongting Chen, Jie Shen, Chun Huang, Xin Yi
2025 A conf
Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs.
IPDPS
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang, Chun Huang, Deheng Yang
2025 C conf
Function-level Optimization Automatic Tuner for Numerical Programs.
APSEC
Xinni Liu, Xinpeng Li, Guangping Yu, Hengbiao Yu, Xin Yi, Chun Huang
2024 J jnl
FPCC: Detecting Floating-Point Errors via Chain Conditions.
Proc. ACM Program. Lang.
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang
2024 B conf
Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions.
ICPP
Xianglin Wang, Xin Yi, Hengbiao Yu, Chun Huang, Lin Peng
2024 J jnl
Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Deheng Yang, Jiayu He, Xiaoguang Mao, Tun Li, Yan Lei, Xin Yi, Jiang Wu
2023 A conf
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.
SANER
Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang
2023 J jnl
Seeing the Whole Elephant: Systematically Understanding and Uncovering Evaluation Biases in Automated Program Repair.
ACM Trans. Softw. Eng. Methodol.
Deheng Yang, Yan Lei, Xiaoguang Mao, Yuhua Qi, Xin Yi
2022 J jnl
Automated regression unit test generation for program merges.
Sci. China Inf. Sci.
Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
2022 C conf
Detecting High Floating-Point Errors via Ranking Analysis.
APSEC
Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin
2022 C conf
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs.
APSEC
Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang
2022 A conf
Symbolic Verification of Message Signatures in MPI.
ICST
Hengbiao Yu, Banghu Yin, Xin Yi
2020 J jnl
Automated Regression Unit Test Generation for Program Merges.
CoRR
Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
2020 J jnl
Evolutionary Conflict Checking.
CoRR
Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
2020 A conf
Understanding Merge Conflicts and Resolutions in Git Rebases.
ISSRE
Tao Ji, Liqian Chen, Xin Yi, Xiaoguang Mao
2019 J jnl
Dissection on Java Organs in GitHub Repositories.
IEEE Access
Shangwen Wang, Xiaoguang Mao, Xin Yi
2019 J jnl
Efficient automated repair of high floating-point errors in numerical libraries.
Proc. ACM Program. Lang.
Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
2019 A conf
How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques.
ESEM
Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao
2019 J jnl
How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques.
CoRR
Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao
2019 C conf
Multi-Location Program Repair Strategies Learned from Successful Experience (S).
SEKE
Shangwen Wang, Xiaoguang Mao, Nan Niu, Xin Yi, Anbang Guo
2018 J jnl
Multi-Location Program Repair: Roads Ahead.
CoRR
Shangwen Wang, Xiaoguang Mao, Nan Niu, Xin Yi, Anbang Guo
2017 A conf
Automated Repair of High Inaccuracies in Numerical Programs.
ICSME
Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
2017 C conf
Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies.
APSEC
Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
2016 B conf
Automated Program Repair by Using Similar Code Containing Fix Ingredients.
COMPSAC
Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi