Hanqin Guan

According to our database, Hanqin Guan authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2025

Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles.

Zhineng Zhong, Ziqi Zhang, Hanqin Guan, Ding Li

Proc. ACM Program. Lang., 2025

2024

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries.

Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024