Hanqin Guan -

Not registered as user

Name:Hanqin Guan

Affiliation:Peking University

Contributions

2025

SPLASH

Author of Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles within the OOPSLA-track

2024

ECOOP/ISSTA

Author of SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries within the Tool Demonstrations-track