Author

Peng-Yu Xue

h-index 5 View on Semantic Scholar

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

Book Open access Oct 2026

Zero-Knowledge VMs: Security and Usability in Practice

Zero-knowledge Virtual Machines (zkVMs) are emerging critical infrastructure for blockchain Layer 2 scaling solutions, enabling execution of arbitrary programs while generating succinct proofs of correct computation. Despite hundreds of millions of investment, the rapidly evolving zkVM ecosystem lacks comprehensive emp...

Ji-Nan Jiang, Jin-Zhao Chu, Peng-Yu Xue et al. · Proceedings of the 41st IEEE... · 0 citations

Preprint Open access Aug 2026

CausalRepair: Bridging the Causality Gap in Large Language Model-Based Automated Program Repair via Dual-Slicing

CausalRepair is proposed, a conversation-driven APR framework based on minimal causal context, i.e., the essential dependencies required to explain a failure, outperforming state-of-the-art approaches such as ReinFix and TSAPR, while reducing the average repair cost to $0.029 per bug.

Lin-Hao Wu, Yi-Zhou Chen, Zhen Yang et al. · 0 citations

Preprint Jul 2026

SWE-NFI: Studying and Benchmarking Coding Agents for Non-Functional Improvements

This paper operationalizes developer-oriented NFIs into 92 executable rules and develops a comprehensive evaluation suite that combines functional correctness testing with rule-based NFI evaluation, and evaluates state-of-the-art commercial and open-source coding agents.

Pengyu Xue, Hengchen Yuan, Xin Wang et al. · 0 citations