Yuxiang Lei

According to our database, Yuxiang Lei authored at least 8 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Securing the Dark Matter: A Semantic-Enhanced Neuro-Symbolic Framework for Supply Chain Analysis of Opaque Industrial Software.

Bowei Ning, Xuejun Zong, Lian Lian, Kan He, Yifei Sun, Yuxiang Lei, Plamen Vasilev

CoRR, May, 2026

HyPSI: A Hybrid Protocol Semantic Inference Framework for Industrial Control Systems.

Yuxiang Lei, Xuejun Zong, Kan He, Lian Lian, Yifei Sun, Plamen Vasilev, Bowei Ning

IEEE Access, 2026

2025

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis.

Jiahao Zhang, Xiao Cheng, Yuxiang Lei

CoRR, August, 2025

2024

Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability.

Pei Xu, Yuxiang Lei, Yulei Sui, Jingling Xue

Proc. ACM Program. Lang., 2024

Context-Free Language Reachability via Skewed Tabulation.

Yuxiang Lei, Camille Bossut, Yulei Sui, Qirun Zhang

Proc. ACM Program. Lang., 2024

2023

Recursive State Machine Guided Graph Folding for Context-Free Language Reachability.

Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang

Proc. ACM Program. Lang., 2023

2022

Taming transitive redundancy for context-free language reachability.

Yuxiang Lei, Yulei Sui, Shuo Ding, Qirun Zhang

Proc. ACM Program. Lang., 2022

2019

Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis.

Yuxiang Lei, Yulei Sui

Proceedings of the Static Analysis - 26th International Symposium, 2019