Author

Hong-Xu Xu

h-index 10 View on Semantic Scholar

We have 2 of 37 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

LLVM Translation Validation Automated with Large Language Models and Lean

LLVM is the cornerstone of modern compilers, but its subtle intermediate representation (IR) semantics make transformations error-prone and necessitate formal verification. Alive2, a state-of-the-art translation validator based on satisfiability modulo theories, has achieved substantial success in automating the valida...

Chun-Feng Liao, Hong-Xu Xu, Xin-Tong Zhou et al. · 0 citations

Open access Oct 2026

Automated Dependency Optimization for Artifact-Based Build Systems

Results show that the approach can effectively reduce rebuild cost on selected Bazel projects spanning multiple languages, and preliminary evidence that the implementation can be extended to other artifact-based build systems.

Hong-Xu Xu, Zhen-Yang Xu, Shane Mcintosh et al. · 0 citations