3 papers
cs.PL2025
LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models
Yijie Zhi, Yayu Cao, Jianhua Dai +5
Loop transformations are semantics-preserving optimization techniques, widely used to maximize objectives such as parallelism. Despite decades of research, applying the optimal com…
cs.SE2025
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
Yuan-An Xiao, Weixuan Wang, Dong Liu +3
Fixing static analysis alerts in source code with Large Language Models (LLMs) is becoming increasingly popular. However, LLMs often hallucinate and perform poorly for complex and…
cs.SE2025
Isolating Compiler Bugs through Compilation Steps Analysis
Yujie Liu, Mingxuan Zhu, Shengyu Cheng +1
Compilers are essential to software systems, and their bugs can propagate to dependent software. Ensuring compiler correctness is critical. However, isolating compiler bugs remains…