Hao Sun

18 papers A* 9A 2Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Approximation Enforced Execution of Untrusted Linux Kernel Extensions.
USENIX Security Symposium
Hao Sun, Zhendong Su
2025 A* conf
Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation Modeling.
USENIX Security Symposium
Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Zhen Yan, Hao Sun, Yu Jiang
2025 — conf
Optimizing Input Minimization in Kernel Fuzzing.
USENIX ATC
Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li
2025 A* conf
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement.
SOSP
Hao Sun, Zhendong Su
2025 J jnl
SnapCC: Effective File System Consistency Testing Using Systematic State Exploration.
ACM Trans. Softw. Eng. Methodol.
Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
2024 A* conf
Effectively Sanitizing Embedded Operating Systems.
DAC
Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Heyuan Shi, Yu Jiang
2024 A conf
Enhancing ROS System Fuzzing through Callback Tracing.
ISSTA
Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Nan Guan, Heyuan Shi, Yu Jiang
2024 A conf
Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.
EuroSys
Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang
2024 J jnl
Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures.
ACM Trans. Softw. Eng. Methodol.
Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
2024 A* conf
Saturn: Host-Gadget Synergistic USB Driver Fuzzing.
SP
Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, Yu Jiang
2024 A* conf
Validating the eBPF Verifier via State Embedding.
OSDI
Hao Sun, Zhendong Su
2022 — conf
KSG: Augmenting Kernel Fuzzing with System Call Specification Generation.
USENIX ATC
Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang
2022 J jnl
Tardis: Coverage-Guided Embedded Operating System Fuzzing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi, Yu Jiang
2021 A* conf
HEALER: Relation Learning Guided Kernel Fuzzing.
SOSP
Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui
2021 J jnl
Rtkaller: State-aware Task Generation for RTOS Fuzzing.
ACM Trans. Embed. Comput. Syst.
Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang
2019 A* conf
Automatic Self-Validation for Code Coverage Profilers.
ASE
Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Baowen Xu
2019 — conf
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.
ISSRE Workshops
Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu
2019 A* conf
Hunting for bugs in code coverage tools via randomized differential testing.
ICSE
Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu