3 papers
cs.PL2026
Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?
Hailong Jiang, Feng Yu, Emran Hossain +4
Optimizing compilers miss profitable transformations when their enabling semantics are absent from the analyzed program representation. We ask whether large language models (LLMs)…
cs.PL2026
BMOA: Baseline-Mechanism-Outcome Attribution for Compiler-Induced Numerical Deviations
Hailong Jiang, Emran Hossain, Feng Yu +4
Formalizing compiler-aware numerical correctness requires distinguishing what an observed floating-point difference means, what compiler behavior the evidence supports, and what nu…
cs.CR2025
Software Vulnerability Analysis Across Programming Language and Program Representation Landscapes: A Survey
Zhuoyun Qian, Fangtian Zhong, Qin Hu +4
Modern software systems are developed in diverse programming languages and often harbor critical vulnerabilities that attackers can exploit to compromise security. These vulnerabil…