2025
Multidemand Forecasting for Electric Vehicle Charging Stations Under Time-of-Use Strategy via Attention-Based Deep Neural Network.
IEEE Internet Things J., July, 2025
Logic Synthesis Tools' Testing via Configuration Diversification With Combinatorial Multiarmed Bandit.
IEEE Trans. Instrum. Meas., 2025
2024
HetFL: Heterogeneous Graph-Based Software Fault Localization.
IEEE Trans. Software Eng., November, 2024
Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models.
IEEE Trans. Software Eng., July, 2024
A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection.
IEEE Trans. Software Eng., April, 2024
Latency-Based Inter-Operator Scheduling for CNN Inference Acceleration on GPU.
IEEE Trans. Serv. Comput., 2024
2023
Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing.
IEEE Trans. Reliab., March, 2023
LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation.
CoRR, 2023
A Comprehensive Study of WebAssembly Runtime Bugs.
Proceedings of the IEEE International Conference on Software Analysis, 2023
Detecting JavaScript Transpiler Bugs with Grammar-guided Mutation.
Proceedings of the IEEE International Conference on Software Analysis, 2023
2022
Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation.
IEEE Trans. Software Eng., 2022
CTOS: Compiler Testing for Optimization Sequences of LLVM.
IEEE Trans. Software Eng., 2022
LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM.
IEEE Trans. Reliab., 2022
SMARTEST: A Surrogate-Assisted Memetic Algorithm for Code Size Reduction.
IEEE Trans. Reliab., 2022
Detecting Compiler Bugs Via a Deep Learning-Based Framework.
Int. J. Softw. Eng. Knowl. Eng., 2022
Detecting Simulink compiler bugs via controllable zombie blocks mutation.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Remgen: Remanufacturing a Random Program Generator for Compiler Testing.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022
Automated Patching for Unreproducible Builds.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
An empirical study of optimization bugs in GCC and LLVM.
J. Syst. Softw., 2021
An improved algorithm for accelerating reconfiguration of VLSI array.
Integr., 2021
Multi-objective Evolutionary Algorithm for String SMT Solver Testing.
Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021
2020
Efficient Reconfiguration Algorithm With Flexible Rerouting Schemes for Constructing 3-D VLSI Subarrays.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray.
Integr., 2020
AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
2017
A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting.
IEEE Access, 2017
2016
Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow.
IEEE Trans. Parallel Distributed Syst., 2016
An integer programming method for constructing tightly coupled VLSI subarrays.
IEICE Electron. Express, 2016
Satisfiability-based method for reconfiguring power efficient VLSI array.
IEICE Electron. Express, 2016
An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016