arXiv subjects

Wenyuan Ma

Publications and source records attributed to Wenyuan Ma.

4 recordsLinked to original sources

arXiv2026

Holmes: Multimodal Agentic Diagnosis for Mixed-Language Mobile Crashes at Industrial Scale

Diagnosing mobile crashes in ultra-large-scale industrial applications is a formidable challenge due to the sheer volume of code, the complexity of mixed-language environments, and the inability to reproduce failures locally. Traditional static analysis struggles with scalability, while existing LLM-based agents often rely on reproducible environments unavailable in post-mortem scenarios. We present Holmes, a multi-agent system that automates root cause analysis by synthesizing multimodal runtime signals--stack traces, logs, and thread states--to reconstruct failure contexts without reproduction. Holmes introduces a hierarchical Retrieve-Explore-Reason architecture that leverages low-level artifacts (e.g., registers, assembly) to bridge the semantic gap between open-source business logic and closed-source system frameworks. By dynamically compressing the search space using runtime clues, Holmes precisely navigates 70-million-line codebases to identify non-local defects. Evaluated on real-world crashes from WeChat, Holmes achieves 87.6% accuracy in function-level fault localization and reduces average investigation time by over 98% (to ~77 seconds), demonstrating its effectiveness in transforming labor-intensive debugging into an efficient verification workflow.

cs.AI↗

arXiv2025

Blow-up solutions of parabolic $p$-Laplacian inequalities on locally finite graphs

In this paper, we study blow up behavior of the semilinear parabolic inequality with $p$-Laplacian operator and nonlinear source $u_t - Δ_p u \geq σ(x, t)Φ(u)$ on a locally finite connected weighted graph $G = (V, E)$. We extend the comparison principle and thereby establish the relationship between the initial value and the existence of blow-up solutions to the problem under different growth rates of $Φ$. We prove that when the growth rate of $Φ$ exceeds linear growth, blow-up solutions exist under appropriate initial conditions.

math.AP↗

arXiv2020

Joint Energy Harvest and Information Transfer for Energy Beamforming in Backscatter Multiuser Networks

Wirelessly powered backscatter communication (WPBC) has been identified as a promising technology for low-power communication systems, which can reap the benefits of energy beamforming to improve energy transfer efficiency. However, existing studies on energy beamforming fail to simultaneously take energy supply and information transfer in WPBC into account. This paper takes the first step to fill this gap, by considering the restrictive relationship between the energy harvesting rate and achievable rate with estimated backscatter channel state information (BS-CSI). To ensure reliable communication and user fairness, we formulate the energy beamforming design as a max-min optimization problem by maximizing the minimum achievable rate for all backscatter tags subject to the energy constraint. We derive the closed-form expression of the energy harvesting rate, as well as the lower bound of the achievable rate for maximum-ratio combining (MRC) and zero-forcing (ZF) receivers. Our numerical results indicate that our scheme significantly outperforms state-of-the-art energy beamforming schemes. Additionally, the achievable rate of our scheme approaches more than $90\%$ of the rate limit achieved via beamforming with perfect CSI for both receivers.

cs.IT↗

arXiv2019

Energy Beamforming for Wireless Information and Power Transfer in Backscatter Multiuser Networks

Wirelessly powered backscatter communication (WPBC) has been identified as a promising technology for low-power communication systems, which can reap the benefits of energy beamforming to improve energy transfer efficiency. Existing studies on energy beamforming fail to simultaneously take energy supply and information transfer in WPBC into account. This paper takes the first step to fill this gap, by considering the trade-off between the energy harvesting rate and achievable rate using estimated backscatter channel state information (BS-CSI). To ensure reliable communication and user fairness, we formulate the energy beamforming design as a max-min optimization problem by maximizing the minimum achievable rate for all tags subject to the energy constraint. We derive the closed-form expression of the energy harvesting rate, as well as the lower bound of the ergodic achievable rate. Our numerical results indicate that our scheme can significantly outperform state-of-the-art energy beamforming schemes. Additionally, the proposed scheme achieves performance comparable to that obtained via beamforming with perfect CSI.

cs.NI↗