Hao Sun

According to our database, Hao Sun authored at least 14 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Optimizing Input Minimization in Kernel Fuzzing.

Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li

Proceedings of the 2025 USENIX Annual Technical Conference, 2025

2024

Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures.

Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang

ACM Trans. Softw. Eng. Methodol., January, 2024

Saturn: Host-Gadget Synergistic USB Driver Fuzzing.

Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, Yu Jiang

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Validating the eBPF Verifier via State Embedding.

Hao Sun, Zhendong Su

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Enhancing ROS System Fuzzing through Callback Tracing.

Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Nan Guan, Heyuan Shi, Yu Jiang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.

Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

Effectively Sanitizing Embedded Operating Systems.

Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Heyuan Shi, Yu Jiang

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2022

Tardis: Coverage-Guided Embedded Operating System Fuzzing.

Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi, Yu Jiang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

KSG: Augmenting Kernel Fuzzing with System Call Specification Generation.

Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2021

Rtkaller: State-aware Task Generation for RTOS Fuzzing.

Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang

ACM Trans. Embed. Comput. Syst., 2021

HEALER: Relation Learning Guided Kernel Fuzzing.

Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2019

Automatic Self-Validation for Code Coverage Profilers.

Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Baowen Xu

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.

Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Hunting for bugs in code coverage tools via randomized differential testing.

Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu

Proceedings of the 41st International Conference on Software Engineering, 2019