SRepair: Symbolic Regression-Based Repair for Hardware Design Code.

Deheng Yang

Zizhen Liu Deheng Yang Xiaoguang Mao Jiayu He Guangda Zhang Yan Lei Jiang Wu 0017 SRepair: Symbolic Regression-Based Repair for Hardware Design Code. 2026 March 1509-1522 45 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 3 https://doi.org/10.1109/TCAD.2025.3603097 db/journals/tcad/tcad45.html#LiuYMHZLW26 streams/journals/tcad

Xuezheng Xu Deheng Yang Wang Lu Wang Tao Huang Anwen Li Qiong Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model. 283-305 2025 15 Int. J. Softw. Informatics 3 https://doi.org/10.21655/ijsi.1673-7288.00350 db/journals/ijsi/ijsi15.html#XuYLTAQ25 streams/journals/ijsi

Xiankai Meng Xiang Ji Guangda Zhang Jiayu He Deheng Yang Fangshu Chen Jiahui Wang Chengcheng Yu Xinlin Zhao Jiang Wu 0017 Rtl design flaws revisited: a data-driven study of systematic bug patterns in Verilog code. 1321 2025 September 81 J. Supercomput. 14 https://doi.org/10.1007/s11227-025-07811-9 db/journals/tjs/tjs81.html#MengJZHYCWYZW25 streams/journals/tjs

Xin Yi 0002 Hengbiao Yu Liqian Chen Xiaoguang Mao Ji Wang 0001 Chun Huang 0006 Deheng Yang Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs. 1249-1260 2025 IPDPS https://doi.org/10.1109/IPDPS64566.2025.00113 conf/ipps/2025 db/conf/ipps/ipdps2025.html#YiYCM0HY25

Deheng Yang Kui Liu 0001 Yan Lei Li Li 0029 Huan Xie 0002 Chunyan Liu Zhenyu Wang Xiaoguang Mao Tegawendé F. Bissyandé Demystifying API misuses in deep learning applications. 45 2024 April 29 Empir. Softw. Eng. 2 https://doi.org/10.1007/s10664-023-10413-9 db/journals/ese/ese29.html#YangLLLXLWMB24

Zhuo Zhang 0007 Jianxin Xue Deheng Yang Xiaoguang Mao ContextAug: model-domain failing test augmentation with contextual information. 182202 2024 April 18 Frontiers Comput. Sci. 2 https://doi.org/10.1007/s11704-023-2521-2 db/journals/fcsc/fcsc18.html#ZhangXYM24

Jiang Wu 0017 Zhuo Zhang 0007 Deheng Yang Jianjun Xu Jiayu He Xiaoguang Mao Knowledge-Augmented Mutation-Based Bug Localization for Hardware Design Code. 45:1-45:26 2024 September 21 ACM Trans. Archit. Code Optim. 3 https://doi.org/10.1145/3660526 https://www.wikidata.org/entity/Q130827839 db/journals/taco/taco21.html#WuZYXHM24 streams/journals/taco

Jiang Wu 0017 Zhuo Zhang 0007 Deheng Yang Jianjun Xu Jiayu He Xiaoguang Mao Time-Aware Spectrum-Based Bug Localization for Hardware Design Code with Data Purification. 64:1-64:25 2024 September 21 ACM Trans. Archit. Code Optim. 3 https://doi.org/10.1145/3678009 https://www.wikidata.org/entity/Q130833213 db/journals/taco/taco21.html#WuZYXHM24a streams/journals/taco

Deheng Yang Jiayu He Xiaoguang Mao Tun Li 0002 Yan Lei Xin Yi 0002 Jiang Wu 0017 Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments. 1594-1607 2024 May 43 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 5 https://doi.org/10.1109/TCAD.2023.3341750 db/journals/tcad/tcad43.html#YangHMLLYW24

Jianjun Xu Jiang Wu 0017 Jiayu He Deheng Yang Xiaoguang Mao Simple but Powerful Beginning: Metamorphic Verification Framework for Cryptographic Hardware Design. 126-131 2024 ICPADS https://doi.org/10.1109/ICPADS63350.2024.00026 conf/icpads/2024 db/conf/icpads/icpads2024.html#XuWHYM24 Zhenyu Wu Deheng Yang Yan Lei Huan Xie 0002 Minghua Tang Maojin Li Labelrepair: Sequence Labelling for Compilation Errors Repair. 860-871 2024 SANER https://doi.org/10.1109/SANER60148.2024.00094 conf/wcre/2024 db/conf/wcre/saner2024.html#WuYLXTL24

Zhenyu Wang Bin Cai Jun Li 0136 Deheng Yang Yang Zhao Huan Xie Solving non-permutation flow-shop scheduling problem via a novel deep reinforcement learning approach. 106095 2023 151 Comput. Oper. Res. https://doi.org/10.1016/j.cor.2022.106095 db/journals/cor/cor151.html#WangCLYZX23

Deheng Yang Yan Lei Xiaoguang Mao Yuhua Qi Xin Yi 0002 Seeing the Whole Elephant: Systematically Understanding and Uncovering Evaluation Biases in Automated Program Repair. 65:1-65:37 2023 May 32 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/3561382 db/journals/tosem/tosem32.html#YangLMQY23

Jiang Wu 0017 Yan Lei Zhuo Zhang 0007 Xiankai Meng Deheng Yang Pan Li Jiayu He Xiaoguang Mao Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs. 1-6 2023 DAC https://doi.org/10.1109/DAC56929.2023.10247962 conf/dac/2023 db/conf/dac/dac2023.html#WuLZMYLHM23 Jianjun Xu Jiayu He Jingyan Zhang Deheng Yang Jiang Wu 0017 Xiaoguang Mao Validating the Redundancy Assumption for HDL from Code Clone's Perspective. 247-255 2023 ISPD https://doi.org/10.1145/3569052.3571872 https://www.wikidata.org/entity/Q130866119 conf/ispd/2023 db/conf/ispd/ispd2023.html#XuHZYWM23 Jiang Wu 0017 Zhuo Zhang 0007 Deheng Yang Xiankai Meng Jiayu He Xiaoguang Mao Yan Lei Fault Localization for Hardware Design Code with Time-Aware Program Spectrum. 537-544 2022 ICCD https://doi.org/10.1109/ICCD56317.2022.00085 conf/iccd/2022 db/conf/iccd/iccd2022.html#Wu0YMHML22 Deheng Yang Xiaoguang Mao Liqian Chen Xuezheng Xu Yan Lei David Lo 0001 Jiayu He TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair. 107:1-107:13 2022 ASE https://doi.org/10.1145/3551349.3556893 conf/kbse/2022 db/conf/kbse/ase2022.html#YangMCXL0H22

Deheng Yang Kui Liu 0001 Dongsun Kim 0001 Anil Koyuncu Kisub Kim Haoye Tian Yan Lei Xiaoguang Mao Jacques Klein Tegawendé F. Bissyandé Where were the repair ingredients for Defects4j bugs? 122 2021 26 Empir. Softw. Eng. 6 https://doi.org/10.1007/s10664-021-10003-7 https://www.wikidata.org/entity/Q114226606 db/journals/ese/ese26.html#YangLKKKTLMKB21

Deheng Yang Yuhua Qi Xiaoguang Mao Yan Lei Evaluating the usage of fault localization in automated program repair: an empirical study. 151202 2021 15 Frontiers Comput. Sci. 1 https://doi.org/10.1007/s11704-020-9263-1 db/journals/fcsc/fcsc15.html#YangQML21

Deheng Yang Yan Lei Xiaoguang Mao David Lo 0001 Huan Xie 0002 Meng Yan 0001 Is the Ground Truth Really Accurate? Dataset Purification for Automated Program Repair. 96-107 2021 SANER https://doi.org/10.1109/SANER50967.2021.00018 conf/wcre/2021 db/conf/wcre/saner2021.html#YangLM0XY21 Shangwen Wang Ming Wen 0001 Xiaoguang Mao Deheng Yang Attention Please: Consider Mockito when Evaluating Newly Proposed Automated Program Repair Techniques. 260-266 2019 EASE https://doi.org/10.1145/3319008.3319349 conf/ease/2019 db/conf/ease/ease2019.html#WangWMY19 Anbang Guo Xiaoguang Mao Deheng Yang Shangwen Wang An Empirical Study on the Effect of Dynamic Slicing on Automated Program Repair Efficiency. 554-558 2018 ICSME https://doi.org/10.1109/ICSME.2018.00066 https://doi.ieeecomputersociety.org/10.1109/ICSME.2018.00066 conf/icsm/2018 db/conf/icsm/icsme2018.html#GuoMYW18 Deheng Yang Yuhua Qi Xiaoguang Mao Evaluating the Strategies of Statement Selection in Automated Program Repair. 33-48 2018 SATE https://doi.org/10.1007/978-3-030-04272-1_3 conf/sate/2018 db/conf/sate/sate2018.html#YangQM18

Shangwen Wang Ming Wen 0001 Deheng Yang Xiaoguang Mao Attention Please: Consider Mockito when Evaluating Newly Released Automated Program Repair Techniques. 2018 abs/1812.05370 CoRR http://arxiv.org/abs/1812.05370 db/journals/corr/corr1812.html#abs-1812-05370

Yuhua Qi Wenhong Liu Weixiang Zhang Deheng Yang On the Evaluation Metrics of Automated Program Repair. 168 2017 DSA https://doi.org/10.1109/DSA.2017.38 conf/dsa/2017 db/conf/dsa/dsa2017.html#QiLZY17 Deheng Yang Yuhua Qi Xiaoguang Mao An Empirical Study on the Usage of Fault Localization in Automated Program Repair. 504-508 2017 ICSME https://doi.org/10.1109/ICSME.2017.37 https://doi.ieeecomputersociety.org/10.1109/ICSME.2017.37 conf/icsm/2017 db/conf/icsm/icsme2017.html#YangQM17 Huang Anwen Tegawendé F. Bissyandé Bin Cai Fangshu Chen Liqian Chen Anbang Guo Jiayu He Chun Huang 0006 Xiang Ji Dongsun Kim 0001 Kisub Kim Jacques Klein Anil Koyuncu Yan Lei Jun Li 0136 Li Li 0029 Maojin Li Pan Li Tun Li 0002 Chunyan Liu Kui Liu 0001 Wenhong Liu Zizhen Liu David Lo 0001 Wang Lu Xiaoguang Mao Xiankai Meng Yuhua Qi Li Qiong Minghua Tang Wang Tao Haoye Tian Ji Wang 0001 Jiahui Wang Shangwen Wang Zhenyu Wang Ming Wen 0001 Jiang Wu 0017 Zhenyu Wu Huan Xie Huan Xie 0002 Jianjun Xu Xuezheng Xu Jianxin Xue Meng Yan 0001 Xin Yi 0002 Chengcheng Yu Hengbiao Yu Guangda Zhang Jingyan Zhang Weixiang Zhang Zhuo Zhang 0007 Xinlin Zhao Yang Zhao