Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability. - Pei Xu 002; Yuxiang Lei; Yulei Sui; Jingling Xue (Proc. ACM Program. Lang., 2024)

Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation. - Pei Xu 002; Yulei Sui; Mark Staples (ISSTA Companion, 2025)