compiler correctness 1empirical evaluation 1floating-point diagnostics 1numerical accuracy 1software testing 1
From the 1 of 3 linked papers with an AI index.
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
The paper presents BMOA, a diagnostic framework that separates baseline, compiler mechanism, and outcome to attribute observed floating-point differences to compiler behavior and n…
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…