SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries. - Ningyu He; Zhehao Zhao; Hanqin Guan; Jikai Wang; Shuo Peng; Ding Li 001; Haoyu Wang 001; Xiangqun Chen; Yao Guo 001 (ISSTA, 2024)

Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles. - Zhineng Zhong; Ziqi Zhang; Hanqin Guan; Ding Li 001 (Proc. ACM Program. Lang., 2025)