28 citations · 40 across the 13 of their papers we have counts for
5 papers · 1 filter
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,…
ShadowProbe: Language-Extensible Detection of Hidden Algorithmic Complexity Vulnerabilities
Yuanmin Xie, Xiangfan Wu, Wenhao Wu +6
Algorithmic Complexity Vulnerabilities (ACVs) arise when adversarial inputs trigger worst-case execution behavior, causing severe performance degradation or Denial-of-Service condi…
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…
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.…
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…