Logic Synthesis Tools' Testing via Configuration Diversification With Combinatorial Multiarmed Bandit - Peiyu Zou; He Jiang; Xiaochen Li; Zhide Zhou; Shikai Guo; Xu Zhao (IEEE Trans. Instrum. Meas., 2025)

Latency-Based Inter-Operator Scheduling for CNN Inference Acceleration on GPU - Yukai Ping; He Jiang; Xingxiang Liu; Zhenyang Zhao; Zhide Zhou; Xin Chen (IEEE Trans. Serv. Comput., 2024)

A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection - He Jiang; Zun Wang; Zhide Zhou; Xiaochen Li; Shikai Guo; Weifeng Sun; Tao Zhang (IEEE Trans. Software Eng., 2024)

Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models - Haoxin Tu; Zhide Zhou; He Jiang; Imam Nur Bani Yusuf; Yuxian Li; Lingxiao Jiang (IEEE Trans. Software Eng., 2024)

HetFL: Heterogeneous Graph-Based Software Fault Localization - Xin Chen; Tian Sun; Dongling Zhuang; Dongjin Yu; He Jiang; Zhide Zhou; Sicheng Li (IEEE Trans. Software Eng., 2024)

Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing - Haoxin Tu; He Jiang; Zhide Zhou; Yixuan Tang; Zhilei Ren; Lei Qiao; Lingxiao Jiang (IEEE Trans. Reliab., 2023)

A Comprehensive Study of WebAssembly Runtime Bugs - Yue Wang; Zhide Zhou; Zhilei Ren; Dong Liu; He Jiang (IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, 2023)

Detecting JavaScript Transpiler Bugs with Grammar-guided Mutation - Le Chen; Zhide Zhou; Xiaochen Li; He Jiang (IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, 2023)

LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation - Haoxin Tu; Zhide Zhou; He Jiang; Imam Nur Bani Yusuf; Yuxian Li; Lingxiao Jiang (CoRR, 2023)

Detecting Compiler Bugs Via a Deep Learning-Based Framework - Yixuan Tang; Zhilei Ren; He Jiang; Lei Qiao; Dong Liu; Zhide Zhou; Weiqiang Kong (Int. J. Softw. Eng. Knowl. Eng., 2022)

SMARTEST: A Surrogate-Assisted Memetic Algorithm for Code Size Reduction - He Jiang; Guojun Gao; Zhilei Ren; Xin Chen; Zhide Zhou (IEEE Trans. Reliab., 2022)

LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM - Zhide Zhou; He Jiang; Zhilei Ren; Yuting Chen; Lei Qiao (IEEE Trans. Reliab., 2022)

CTOS: Compiler Testing for Optimization Sequences of LLVM - He Jiang; Zhide Zhou; Zhilei Ren; Jingxuan Zhang; Xiaochen Li (IEEE Trans. Software Eng., 2022)

Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation - Yixuan Tang; He Jiang; Zhide Zhou; Xiaochen Li; Zhilei Ren; Weiqiang Kong (IEEE Trans. Software Eng., 2022)

Automated Patching for Unreproducible Builds - Zhilei Ren; Shiwei Sun; Jifeng Xuan; Xiaochen Li; Zhide Zhou; He Jiang (44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022)

Remgen: Remanufacturing a Random Program Generator for Compiler Testing - Haoxin Tu; He Jiang; Xiaochen Li; Zhilei Ren; Zhide Zhou; Lingxiao Jiang (IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 2022)

Detecting Simulink compiler bugs via controllable zombie blocks mutation - Shikai Guo; He Jiang; Zhihao Xu; Xiaochen Li; Zhilei Ren; Zhide Zhou; Rong Chen (Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022, 2022)

An improved algorithm for accelerating reconfiguration of VLSI array - Junyan Qian; Fuhao Mo; Hao Ding; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (Integr., 2021)

An empirical study of optimization bugs in GCC and LLVM - Zhide Zhou; Zhilei Ren; Guojun Gao; He Jiang (J. Syst. Softw., 2021)

Multi-objective Evolutionary Algorithm for String SMT Solver Testing - Zhilei Ren; Xiaofei Fan; Xiaochen Li; Zhide Zhou; He Jiang (8th International Conference on Dependable Systems and Their Applications, DSA 2021, Yinchuan, China, August 5-6, 2021, 2021)

An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray - Junyan Qian; Bisheng Huang; Hao Ding; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (Integr., 2020)

Efficient Reconfiguration Algorithm With Flexible Rerouting Schemes for Constructing 3-D VLSI Subarrays - Junyan Qian; Hao Ding; Hanpeng Xiao; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances - Hao Chen; Zhilei Ren; Lei Qiao; Zhide Zhou; Guojun Gao; Yue Ma; He Jiang (7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020, 2020)

A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting - Junyan Qian; Yiping Wang; Liang Chang; Zhide Zhou; Lingzhong Zhao (IEEE Access, 2017)

An integer programming method for constructing tightly coupled VLSI subarrays - Junyan Qian; Zhide Zhou; Lingzhong Zhao; Tianlong Gu; Liang Chang (IEICE Electron. Express, 2016)

Satisfiability-based method for reconfiguring power efficient VLSI array - Junyan Qian; Wei Cao; Jia Hu; Jingwei Zhang; Zhoubo Xu; Zhide Zhou (IEICE Electron. Express, 2016)

Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow - Junyan Qian; Zhide Zhou; Tianlong Gu; Lingzhong Zhao; Liang Chang (IEEE Trans. Parallel Distributed Syst., 2016)

An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star - Junyan Qian; Zhide Zhou; Lingzhong Zhao; Tianlong Gu (Computational Science and Its Applications - ICCSA 2016 - 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II, 2016)