Source author record

Xiao Cheng

Xiao Cheng appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2026arXiv

XSearch: Explainable Code Search via Concept-to-Code Alignment

Semantic code search has been widely adopted in both academia and industry. These approaches embed natural-language queries and code snippets into a shared embedding space and retrieve results based on vector similarity. Despit strong performance on benchmark datasets, they often suffer from poor explainability and generalization. Retrieved code may appear semantically similar yet miss critical functional requirements of the query, while providing no explanation of why the result was retrieved. Moreover, such failures become more severe under distribution shift, where models struggle to generalize to unseen benchmarks. In this work, we propose XSearch, an intrinsically explainable code search framework. Our key insight is that by relying on global embedding similarity, existing retrievers inherently take an inductive view. They learn statistical patterns rather than truly understanding the query's functional requirements. We address this problem by reformulating code search as a deductive concept alignment problem. XSearch (i) identifies functional concepts in the query and (ii) explicitly aligns them with corresponding code statements. This explain-then-predict design produces inherent concept-level explanations and mitigates shortcut learning that harms out-of-distribution generalization. We train an encoder with explicit concept-alignment objectives and perform retrieval through explicit matching between query concepts and code statements. Experiments show that, trained on CodeSearchNet using GraphCodeBERT (125M parameters), XSearch improves performance on out-of-distribution benchmarks from 0.02 to 0.33 (15x) over eight state-of-the-art retrievers, and consistently outperforms both encoder- and decoder-based baselines with up to 7B parameters. A user study demonstrates that concept-alignment explanations enable users to evaluate retrieved results faster and more accurately.

preprint2025arXiv

BALI: Branch-Aware Loop Invariant Inference with Large Language Models

Loop invariants are fundamental for reasoning about the correctness of iterative algorithms. However, deriving suitable invariants remains a challenging and often manual task, particularly for complex programs. In this paper, we introduce BALI, a branch-aware framework that integrates large language models (LLMs) to enhance the inference and verification of loop invariants. Our approach combines automated reasoning with branch-aware static program analysis to improve both precision and scalability. Specifically, unlike prior LLM-only guess-and-check methods, BALI first verifies branch-sequence-level (path-level) clauses with SMT and then composes them into program-level invariants. We outline its key components, present preliminary results, and discuss future directions toward fully automated invariant discovery.

preprint2013arXiv

Second-order LOD multigrid method for multidimensional Riesz fractional diffusion equation

We propose a locally one dimensional (LOD) finite difference method for multidimensional Riesz fractional diffusion equation with variable coefficients on a finite domain. The numerical method is second-order convergent in both space and time directions, and its unconditional stability is strictly proved. Comparing with the popular first-order finite difference method for fractional operator, the form of obtained matrix algebraic equation is changed from $(I-A)u^{k+1}=u^k+b^{k+1}$ to $(I-{\widetilde A})u^{k+1}=(I+{\widetilde B})u^k+{\tilde b}^{k+1/2}$; the three matrices $A$, ${\widetilde A}$ and ${\widetilde B}$ are all Toeplitz-like, i.e., they have completely same structure and the computational count for matrix vector multiplication is $\mathcal{O}(N {log} N)$; and the computational costs for solving the two matrix algebraic equations are almost the same. The LOD-multigrid method is used to solve the resulting matrix algebraic equation, and the computational count is $\mathcal{O}(N {log} N)$ and the required storage is $\mathcal{O}(N)$, where $N$ is the number of grid points. Finally, the extensive numerical experiments are performed to show the powerfulness of the second-order scheme and the LOD-multigrid method.

preprint2009arXiv

Resonant Nonlinear Damping of Quantized Spin Waves in Ferromagnetic Nanowires

We use spin torque ferromagnetic resonance to measure the spectral properties of dipole-exchange spin waves in permalloy nanowires. Our measurements reveal that geometric confinement has a profound effect on the damping of spin waves in the nanowire geometry. The damping parameter of the lowest-energy quantized spin wave mode depends on applied magnetic field in a resonant way and exhibits a maximum at a field that increases with decreasing nanowire width. This enhancement of damping originates from a nonlinear resonant three-magnon confluence process allowed at a particular bias field value determined by quantization of the spin wave spectrum in the nanowire geometry.

preprint2009arXiv

Stochastic resonance of a nanomagnet excited by spin transfer torque

Spin transfer torque from spin-polarized electrical current can excite large-amplitude magnetization dynamics in metallic ferromagnets of nanoscale dimensions. Since magnetic anisotropy energies of nanomagnets are comparable to the thermal energy scale, temperature can have a profound effect on the dynamics of a nanomagnet driven by spin transfer torque. Here we report the observation of unusual types of microwave-frequency nonlinear magnetization dynamics co-excited by alternating spin transfer torque and thermal fluctuations. In these dynamics, temperature amplifies the amplitude of GHz-range precession of magnetization and enables excitation of highly nonlinear dynamical states of magnetization by weak alternating spin transfer torque. We explain these thermally activated dynamics in terms of non-adiabatic stochastic resonance of magnetization driven by spin transfer torque. This type of magnetic stochastic resonance may find use in sensitive nanometer-scale microwave signal detectors.