Hunting for bugs in code coverage tools via randomized differential testing. - Yibiao Yang; Yuming Zhou; Hao Sun 021; Zhendong Su 001; Zhiqiang Zuo 002; Lei Xu 003; Baowen Xu (ICSE, 2019)

Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. - Cong Wang 020; Hao Sun 021; Yiwen Xu; Yu Jiang 001; Huafeng Zhang; Ming Gu 001 (ISSRE Workshops, 2019)

Automatic Self-Validation for Code Coverage Profilers. - Yibiao Yang; Yanyan Jiang 001; Zhiqiang Zuo 002; Yang Wang 165; Hao Sun 021; Hongmin Lu; Yuming Zhou; Baowen Xu (ASE, 2019)

HEALER: Relation Learning Guided Kernel Fuzzing. - Hao Sun 021; Yuheng Shen; Cong Wang 020; Jianzhong Liu; Yu Jiang 001; Ting Chen 002; Aiguo Cui (SOSP, 2021)

Rtkaller: State-aware Task Generation for RTOS Fuzzing. - Yuheng Shen; Hao Sun 021; Yu Jiang 001; Heyuan Shi; Yixiao Yang; Wanli Chang 001 (ACM Trans. Embed. Comput. Syst., 2021)

KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. - Hao Sun 021; Yuheng Shen; Jianzhong Liu; Yiru Xu; Yu Jiang 001 (USENIX ATC, 2022)

Tardis: Coverage-Guided Embedded Operating System Fuzzing. - Yuheng Shen; Yiru Xu; Hao Sun 021; Jianzhong Liu; Zichen Xu 001; Aiguo Cui; Heyuan Shi; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Effectively Sanitizing Embedded Operating Systems. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Hao Sun 021; Heyuan Shi; Yu Jiang 001 (DAC, 2024)

Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. - Hao Sun 021; Yiru Xu; Jianzhong Liu; Yuheng Shen; Nan Guan; Yu Jiang 001 (EuroSys, 2024)

Enhancing ROS System Fuzzing through Callback Tracing. - Yuheng Shen; Jianzhong Liu; Yiru Xu; Hao Sun 021; Mingzhe Wang; Nan Guan; Heyuan Shi; Yu Jiang 001 (ISSTA, 2024)

Validating the eBPF Verifier via State Embedding. - Hao Sun 021; Zhendong Su 001 (OSDI, 2024)

Saturn: Host-Gadget Synergistic USB Driver Fuzzing. - Yiru Xu; Hao Sun 021; Jianzhong Liu; Yuheng Shen; Yu Jiang 001 (SP, 2024)

Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Hao Sun 021; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Optimizing Input Minimization in Kernel Fuzzing. - Hui Guo; Hao Sun 021; Shan Huang; Ting Su 001; Geguang Pu; Shaohua Li 002 (USENIX ATC, 2025)