Author

Cheng-Nian Sun

h-index 5 View on Semantic Scholar

We have 3 of 25 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

Preprint Jul 2026

Semantic-aware and Self-improving Program Reduction via Agentic Large Language Models

Reducing bug-triggering programs to their minimal essential form is a fundamental task in debugging language processors such as compilers and interpreters. Existing reduction techniques are limited by their reliance on predefined, syntax-driven transformations that lack semantic understanding of the target program, and...

Xintong Zhou, Hongxu Xu, Chun-Feng Liao et al. · 0 citations