Fast bit-vector satisfiability. - Peisen Yao; Qingkai Shi; Heqing Huang 002; Charles Zhang 001 (ISSTA, 2020)

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. - Heqing Huang 002; Peisen Yao; Rongxin Wu; Qingkai Shi; Charles Zhang 001 (SP, 2020)

Fuzzing SMT solvers via two-dimensional input space exploration. - Peisen Yao; Heqing Huang 002; Wensheng Tang; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (ISSTA, 2021)

Skeletal approximation enumeration for SMT solver testing. - Peisen Yao; Heqing Huang 002; Wensheng Tang; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2021)

Program analysis via efficient symbolic abstraction. - Peisen Yao; Qingkai Shi; Heqing Huang 002; Charles Zhang 001 (Proc. ACM Program. Lang., 2021)

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. - Heqing Huang 002; Yiyuan Guo; Qingkai Shi; Peisen Yao; Rongxin Wu; Charles Zhang 001 (SP, 2022)

GIANTSAN: Efficient Memory Sanitization with Segment Folding. - Hao Ling; Heqing Huang 002; Chengpeng Wang 001; Yuandao Cai; Charles Zhang 001 (ASPLOS (2), 2024)

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)

Titan : Efficient Multi-target Directed Greybox Fuzzing. - Heqing Huang 002; Peisen Yao; Hung-Chun Chiu; Yiyuan Guo; Charles Zhang 001 (SP, 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)

Balance Seed Scheduling via Monte Carlo Planning. - Heqing Huang 002; Hung-Chun Chiu; Qingkai Shi; Peisen Yao; Charles Zhang 001 (IEEE Trans. Dependable Secur. Comput., 2024)

Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events. - Maryam Masoudian; Heqing Huang 002; Morteza Amini; Charles Zhang 001 (IEEE Trans. Software Eng., 2024)

Sand: Decoupling Sanitization from Fuzzing for Low Overhead. - Ziqiao Kong; Shaohua Li 002; Heqing Huang 002; Zhendong Su 001 (ICSE, 2025)

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

SAND: Decoupling Sanitization from Fuzzing for Low Overhead. - Ziqiao Kong; Shaohua Li 002; Heqing Huang 002; Zhendong Su 001 (Zenodo, 2025)

How far are app secrets from being stolen? a case study on android. - Lili Wei 001; Heqing Huang 002; Shing-Chi Cheung; Kevin Li (Empir. Softw. Eng., 2025)