Demo Data from EDBT 2026 / reviewers in the wild / expert
Lurong Xu
dblp:415/0540
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2025
0009-0004-3217-9954ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 67% Debugging and program repair · 33% | |
| Artificial intelligence
1 paper |
Deep learning architectures and training · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
automated program repair |
0.9 | 1 | 2025 | Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators · ACM Trans. Softw. Eng. Methodol. 2025 |
Software testing
mutation testing |
0.9 | 1 | 2025 | Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators · ACM Trans. Softw. Eng. Methodol. 2025 |
Software testing
test generation |
0.9 | 1 | 2025 | Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators · ACM Trans. Softw. Eng. Methodol. 2025 |
Machine learning › Deep learning architectures and training
convolutional neural network |
0.3 | 1 | 2025 | Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators · ACM Trans. Softw. Eng. Methodol. 2025 |
Methods — techniques the papers use, named apart from their topics
mutation testing · 1.7mathematical rewriting · 1.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network OperatorsabstractConvolutional Neural Network (CNN) operators, mostly based on mathematical linear computations, are of vital importance to developing CNN-based software. Existing studies reveal that these operators are prone to floating-point precision problems (FPPs). In a CNN-based application, such problems can be propagated and result in catastrophic consequences. Thus, it is highly desired to detect and repair the FPPs in CNN operators. Considering the FPPs in CNN operators are mainly caused by accumulated floating-point errors and diverse floating-point tensors instead of wrong codes or bad implementations, it requires much time cost and is difficult to tackle these FPPs. In this paper, we propose the first method for the automated detection and repair of FPPs in CNN operators from the perspective of floating-point tensors. To generate diverse tensors with floating-point numbers, we design two levels of mutation rules, namely computation-level mutation and input-level mutation, containing a total of five mutation methods. To detect the FPPs caused by the accumulated floating-point errors, our method uses a weight matrix to guide the progressive mutation. To repair the detected FPPs, our method transforms the error-prone floating-point tensors based on the mathematical rewriting of the floating-point linear computational properties without destroying the original computation. Experimental results show that our methods can detect and repair FPPs in CNN operators effectively and efficiently and could reduce 93.32% to 100% of the FPPs in CNN operators. We conduct a case study on six different widely-used CNN models and confirm that the proposed FPP method is generalizable and effective across a variety of tasks and architectures. Our detection and repair method offers an intuitive way to handle FPPs during development, allowing users to continue building and fine-tuning their models without being slowed down by numerical precision errors. We believe that our method could open up a new way to enhance the quality of CNN operators and CNN-based software. Xufan Zhang, Lurong Xu, Chunrong Fang, Mingzheng Gu, Weisi Luo, Dong Chai, Zhenyu Chen 0001 |
ACM Trans. Softw. Eng. Methodol. | 3 |