3 papers
cs.PL2026
LLVM Translation Validation Automated with Large Language Models and Lean
Chunhao Liao, Hongxu Xu, Xintong Zhou +2
LLVM is the cornerstone of modern compilers, but its subtle intermediate representation (IR) semantics make transformations error-prone and necessitate formal verification. Alive2,…
cs.SE2026
Semantic-aware and Self-improving Program Reduction via Agentic Large Language Models
Xintong Zhou, Hongxu Xu, Chunhao Liao +3
Reducing bug-triggering programs to their minimal essential form is a fundamental task in debugging language processors such as compilers and interpreters. Existing reduction techn…
cs.SE2026
Can Coding Agents Implement Missed Compiler Optimizations? Evaluating LLM Agents on LLVM Peephole Optimizations
Hongxu Xu, Chunhao Liao, Xintong Zhou +1
Coding agents built on large language models are now capable of patching sizable real-world codebases, yet whether they can develop compiler optimizations remains an open question.…