Hanqin Guan -

Not registered as user

Name:Hanqin Guan

Affiliation:Peking University

Contributions

2026

ISSTA

Author of WITFuzz: Validity-Preserving Greybox Fuzzing for WebAssembly Interface Type Binding Generators within the Research papers-track

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