Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Yongji Xu

dblp:441/1128 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 77% Software testing · 23%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization › compiler optimization
optimization phase ordering
1.012026
OSRC-RL: Optimizing Software Reliability at Compile-Time Using Reinforcement Learning · ACM Trans. Archit. Code Optim. 2026
Software testing
software reliability
0.312026
OSRC-RL: Optimizing Software Reliability at Compile-Time Using Reinforcement Learning · ACM Trans. Archit. Code Optim. 2026

Methods — techniques the papers use, named apart from their topics

reinforcement learning · 1.0hierarchical clustering · 1.0graph isomorphism network · 1.0
YearPublicationVenuePosition
2026 OSRC-RL: Optimizing Software Reliability at Compile-Time Using Reinforcement Learning
abstract
Enhancing software reliability mitigates failures and reduces maintenance costs. In the LLVM compiler, different option sequences applied to the intermediate representation (IR) produce binaries with varying reliability levels, making the search for an optimal sequence in reliability-oriented compilation a key challenge. Although reinforcement learning (RL) has been employed to automate this process, existing methods suffer from two major limitations: they rely on structure-based static IR embeddings that overlook the dynamic behaviors induced by compilation transformations, leading to low-fidelity state representations, and construct action spaces that fail to preserve critical inter-option dependencies while maintaining spatial compactness, thereby impairing training efficiency and constraining optimization gains. This article presents Optimizing Software Reliability at Compile-time using Reinforcement Learning (OSRC-RL), which integrates two novel components: a Compilation Behavior-Aware State Representation (CBA-SR) and an Action Space Construction via Option Dependency Awareness and space minimization (ASC-ODA). CBA-SR jointly encodes program semantics and compilation dynamics, using activated options as multi-label supervisory signals to guide an expressive Graph Isomorphism Network in learning IR subgraph patterns correlated with option activations, yielding high-fidelity states that enable more reliable policy learning and faster convergence. ASC-ODA reconciles dependency preservation with spatial compactness by constructing Option Dependency Graph, performing dependency-aware hierarchical clustering and recursive intra-cluster path analysis, and applying a preference-aware selection to generate a compact yet dependency-preserving action space that enhances sample efficiency and policy stability. Evaluations across 20 benchmarks show that OSRC-RL achieves the highest average reliability gain ( \(I_{rg}{=}0.6694\) ) and competitive convergence speed compared with five baselines. Ablations attribute these gains to its core components: CBA-SR (up to 11.34% improvement via IR-graph learning) and ASC-ODA (up to 15.22% improvement via dependency-faithful actions). On industrial instances, it attains a 0.1818 average gain, surpassing the next-best method by 33.77%. Bounded overheads are mitigated by Lightweight Post-Processing (LPP), ensuring practical feasibility.
Hanjiang Liu, Youcong Ni, Xin Du 0003, Yifu Lu, Dingbang Fang, Yongji Xu
ACM Trans. Archit. Code Optim.6