28 citations · 40 across the 13 of their papers we have counts for
Showing 2026 · cs.PLShow all
2 papers · 2 filters
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.PL2026
Leveraging Large Language Models for Generalizing Peephole Optimizations
Chunhao Liao, Hongxu Xu, Xintong Zhou +2
Peephole optimizations are a core component of modern optimizing compilers. It rewrites specific instruction into semantically equivalent but more efficient forms. In practice, cre…