XC
Xiao Cheng
cs.SEcs.CRcs.AIcs.ROcs.CVcs.GRcs.LGcs.SYeess.SY
On Valency
published · living versionsW_qqm36c79·v1 · currentpublished
APG: Agentic Static-Analysis Infrastructure on LLVM-IR Graph Databases
with Zexin Zhong, Yanjun Zhang, Yulei Sui
1 version
W_esgxk3q5·v1published
W_d2fjkvjz·v1published
Preprints & journals
11 papers in the corpus · 2025–2026Runtime Safety Filtering for Two-Terminal Hazards in Robotic Battery Recycling2609.19665v1 · Yuxin Cao, Wei Song, Xianglin Yang et al.2026 · 0 citationsarXiv
BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure2609.11028v1 · Shenghan Zheng, Zonglin Di, Yimin Liu et al.2026 · 0 citationsarXiv
Semi-Implicit Pairwise Descent for Nonlocal Continuum Mechanics2609.09834v1 · Xukun Luo, Xiao Cheng, Yuzhong Guo et al.2026 · 0 citationsarXiv
Cross-View Urban Sensing: Mapping Subjective Streetscape Perception via AlphaEarth Embeddings and Urban Context2608.16310v1 · Peilin Li, Pengfei Chen, Jingyu Wang et al.2026 · 0 citationsarXiv
MalTotal: Cost-Effective and Language-Agnostic Malicious Code Poisoning Detection for Millions of Repositories2608.03232v1 · Jian Zhao, Shenao Wang, Qingyang Wu et al.2026 · 0 citationsarXiv
Neuro-Symbolic Reasoning for Vulnerability Detection2607.03963v1 · Yanjie Zhao, Hongjie Chen, Li Lu et al.2026 · 0 citationsarXiv
AgentFlow: Building Agent Dependency Graphs for Static Analysis of Agent Programs2607.01640v1 · Shenao Wang, Xinyi Hou, Yanjie Zhao et al.2026 · 0 citationsarXiv
Demystifying and Detecting Agentic Workflow Injection Vulnerabilities in GitHub Actions2605.07135v1 · Shenao Wang, Xinyi Hou, Zhao Liu et al.2026 · 0 citationsarXiv
From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing2604.18918v1 · Linfeng Liang, Xiao Cheng, Tsong Yueh Chen et al.2026 · 0 citationsProceedings of the ACM on Software Engineering, Vol. 3, FSE, Article FSE146, July 2026. Article FSE146 (July 2026),
Reachability Across the NL/PL Boundary: A Taxonomy-Driven Dataflow Model for LLM-Integrated Applications2603.28345v3 · Zihao Xu, Xiao Cheng, Ruijie Meng et al.2026 · 0 citationsarXiv
Human-Inspired Neuro-Symbolic World Modeling and Logic Reasoning for Interpretable Safe UAV Landing Site Assessment2510.22204v3 · Weixian Qian, Tianyi Yang, Sebastian Schroder et al.2025 · 0 citationsarXiv
Career total: 51 works. 11 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.