3 papers
cs.SE2026
Towards Better Linux Kernel Fault Localization: Leveraging Contrastive Reasoning and Hierarchical Context Analysis
Haichi Wang, Ruiguo Yu, Yesong Pang +4
Debugging the Linux kernel remains a formidable challenge due to its vast codebase, complex architecture, and low-level programming intricacies. Effective fault localization (FL) i…
cs.SE2025
Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining
Jiajun Jiang, Fengjie Li, Zijie Zhao +5
Redundancy-based automated program repair (APR), which generates patches by referencing existing source code, has gained much attention since they are effective in repairing real-w…
cs.SE2025
DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
Chenyao Suo, Jianrong Wang, Yongjia Wang +3
MLIR (Multi-Level Intermediate Representation) compiler infrastructure provides an efficient framework for introducing a new abstraction level for programming languages and domain-…