Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries. - Chengfeng Ye; Yuandao Cai; Anshunkang Zhou; Heqing Huang 002; Hao Ling; Charles Zhang 001 (ASPLOS (4), 2024)

Plankton: Reconciling Binary Code and Debug Information. - Anshunkang Zhou; Chengfeng Ye; Heqing Huang 002; Yuandao Cai; Charles Zhang 001 (ASPLOS (2), 2024)

Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference. - Heqing Huang 002; Anshunkang Zhou; Mathias Payer; Charles Zhang 001 (SP, 2024)

ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation. - Anshunkang Zhou; Yikun Hu; Xiangzhe Xu; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

KRAKEN: Program-Adaptive Parallel Fuzzing. - Anshunkang Zhou; Heqing Huang 002; Charles Zhang 001 (Proc. ACM Softw. Eng., 2025)