A5102772287- Software Testing and Debugging Techniques
- Software Engineering Research
- Software Reliability and Analysis Research
- Advanced Malware Detection Techniques
- Adversarial Robustness in Machine Learning
- High Temperature Alloys and Creep
- Heat transfer and supercritical fluids
- Nuclear reactor physics and engineering
China Huadian Corporation (China)
2024
Hong Kong University of Science and Technology
2023
University of Hong Kong
2023
Tianjin University
2020-2021
There are increasing uses of deep learning (DL) compilers to generate optimized code, boosting the runtime performance DL models on specific hardware. Like their traditional counterparts, can incorrect resulting in unexpected model behaviors that may cause catastrophic consequences mission-critical systems. On other hand, processed by differ fundamentally from imperative programs program logic is implicit. As such, various characteristics bugs arising need be revisited context compilers.
Compiler bugs can be disastrous since they could affect all the software systems built on buggy compilers. Meanwhile, diagnosing compiler is extremely challenging usually limited debugging information available and a large number of files suspicious. More specifically, when compiling given bug-triggering test program, hundreds are involved, treated as suspicious files. To facilitate debugging, in this paper we propose first reinforcement bug isolation approach via structural mutation, called...
Deep Learning (DL) compilers are widely adopted to optimize advanced DL models for efficient deployment on diverse hardware. Their quality has a profound effect the of compiled models. A recent bug study shows that optimization high-level intermediate representations (IRs) is most error-prone compilation stage and bugs in this account 44.92% whole collected ones. However, existing testing techniques do not consider features related (e.g., IR), therefore weak exposing at stage. To bridge gap,...
Taking a 1000 MW ultra-supercritical boiler heating surface pipe as the research object, microstructure and mechanical properties of T92/TP310HCbN secondary reheater its welded joints after service for about 60, 000 h were analyzed. The deterioration degree two materials long-term was studied. results show that base steel is normal no obvious aging phenomenon observed high-temperature service. In terms properties, yield strength tensile kinds welds meet standard requirements, but elongation...