Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing. - Xiao Cheng 002; Jiawei Ren 003; Yulei Sui (Proc. ACM Softw. Eng., 2024)

Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search. - Jiawei Ren 003; Yulei Sui; Xiao Cheng 002; Yuan Feng 001; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2024)