dblp: Hao Sun 0021 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

• > Home > Persons

Person information

• affiliation: ETH Zurich, Advanced Software Technologies (AST) Lab, Zurich, Switzerland

Other persons with the same name

see FAQ

• How does dblp handle homonyms and synonyms?

• Why are some names followed by a four digit number?

• Hao Sun — disambiguation page

• Hao Sun 0001 — The Chinese University of Hong Kong (and 1 more)

• Hao Sun 0002 — Renmin University of China, Gaoling School of Artificial Intelligence, Beijing, China (and 3 more)

• Hao Sun 0003 — China University of Mining and Technology, College of Geoscience and Surveying Engineering, Beijing, China (and 1 more)

• Hao Sun 0004 — National University of Defense Technology, College of Computer, Changsha, China

• Hao Sun 0005 — Hebei University of Technology, School of Control Science and Engineering, Tianjin, China

• Hao Sun 0006 — University of Rostock, Chair of Mechatronics, Germany

• Hao Sun 0007 — Chongqing University, Department of Communication Engineering, China

• Hao Sun 0008 — Hefei University of Technology, School of Mechanical Engineering, China (and 1 more)

• Hao Sun 0009 — Chinese Academy of Sciences, Institute of Electronics, Key Laboratory of Technology in Geo-Spatial Information Processing and Application System, Beijing, China

• Hao Sun 0010 — Huazhong University of Science and Technology, School of Management, Wuhan, China (and 1 more)

• Hao Sun 0011 — Northwestern Polytechnical University, Xi'an, Shaanxi, China

• Hao Sun 0012 — Tsinghua University, China

• Hao Sun 0013 — Zhejiang University, School of Software Technology, Hangzhou, China

• Hao Sun 0014 — Central China Normal University, School of Computer, Wuhan, China

• Hao Sun 0015 — Microsoft AI, Beijing, China (and 2 more)

• Hao Sun 0016 — Yanshan University, School of Electrical Engineering, Engineering Research Center of the Ministry of Education for Intelligent Control System and Intelligent Equipment, Qinhuangdao, China

• Hao Sun 0017 — University of Cambridge, DAMTP, Department of Applied Mathematics and Theoretical Physics, UK

• Hao Sun 0018 — Nankai University, College of Artificial Intelligence, Tianjin, China

• Hao Sun 0019 — Beijing University of Posts and Telecommunications, China

• Hao Sun 0020 — Yongjiang Laboratory (Y-LAB), Ningbo, China (and 1 more)

• Hao Sun 0022 — University of Houston, TX, USA (and 1 more)

• Hao Sun 0023 — National University of Defense Technology, College of Computer, Changsha, China

• Hao Sun 0024 — University of Missouri, Department of Electrical Engineering and Computer Science, Columbia, MO, USA

• Hao Sun 0025 — Southern Medical University, School of Biomedical Engineering, Guangzhou, China

• Hao Sun 0026 — Qingdao University, School of Business, China

• Hao Sun 0027 — Zhejiang Gongshang University, School of Information and Electronic Engineering, Hangzhou, China

• Hao Sun 0028 — Chinese Academy of Sciences, Institute of Information Engineering, Beijing, China (and 1 more)

• Hao Sun 0029 — University College London, University College London, UK

• Hao Sun 0030 — Chinese Academy of Sciences, Aerospace Information Research Institute, Beijing, China (and 1 more)

• Hao Sun 0031 — Nanjing University of Aeronautics and Astronautics, College of Astronautics, China

• Hao Sun 0032 — Wuhan University of Technology, School of Information Engineering, China

• Hao Sun 0033 — Xidian University, State Key Laboratory of Integrated Services Networks, Xi'an, China

• Hao Sun 0034 — Xi'an Jiaotong University, State Key Laboratory of Electrical Insulation and Power Equipment, China

• Hao Sun 0035 — ShanghaiTech University, School of Information Science and Technology, China (and 2 more)

• Hao Sun 0036 — Beijing Advanced Medical Technologies, Ltd. Inc., China (and 2 more)

• Hao Sun 0037 — Anhui University of Technology, School of Civil Engineering and Architecture, Maanshan, China (and 2 more)

• Hao Sun 0038 — China Telecom, Beijing, China

• Hao Sun 0039 — Beijing University of Technology, Department of Biomedical Engineering, China

• Hao Sun 0040 — University of Science and Technology Beijing, School of Resources and Safety Engineering, China

• Hao Sun 0041 — Chinese University of Hong Kong, School of Science and Engineering, Future Network of Intelligence Institute, Shenzhen, China

• Hao Sun 0042 — National University of Defense Technology, College of Electronic Science and Technology, Changsha, China

• Hao Sun 0043 — Xidian University, School of Optoelectronic Engineering, Xi'an, China

SPARQL queries

🛈 Please note that only 72% of the items listed on this page have a DOI stored with their dblp record. Therefore, DOI-based queries can only provide partial results.

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

2020 – today

• 2025
• 
  [j4]
  • 
  • 
  • 
  • 
    Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang:
    SnapCC: Effective File System Consistency Testing Using Systematic State Exploration. ACM Trans. Softw. Eng. Methodol. 34(8): 224:1-224:24 (2025)
• 
  [c14]
  • 
  • 
  • 
  • 
    Hao Sun, Zhendong Su:
    Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement. SOSP 2025: 736-751
• 
  [c13]
  Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li:
  Optimizing Input Minimization in Kernel Fuzzing. USENIX ATC 2025: 1451-1465
• 
  [c12]
  Hao Sun, Zhendong Su:
  Approximation Enforced Execution of Untrusted Linux Kernel Extensions. USENIX Security Symposium 2025: 7467-7485
• 
  [c11]
  Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Zhen Yan, Hao Sun, Yu Jiang:
  Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation Modeling. USENIX Security Symposium 2025: 7525-7543
• 2024
• 
  [j3]
  • 
  • 
  • 
  • 
    Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang:
    Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures. ACM Trans. Softw. Eng. Methodol. 33(1): 11:1-11:25 (2024)
• 
  [c10]
  • 
  • 
  • 
  • 
    Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Heyuan Shi, Yu Jiang:
    Effectively Sanitizing Embedded Operating Systems. DAC 2024: 117:1-117:6
• 
  [c9]
  • 
  • 
  • 
  • 
    Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang:
    Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. EuroSys 2024: 689-703
• 
  [c8]
  • 
  • 
  • 
  • 
    Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Nan Guan, Heyuan Shi, Yu Jiang:
    Enhancing ROS System Fuzzing through Callback Tracing. ISSTA 2024: 76-87
• 
  [c7]
  Hao Sun, Zhendong Su:
  Validating the eBPF Verifier via State Embedding. OSDI 2024: 615-628
• 
  [c6]
  • 
  • 
  • 
  • 
    Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, Yu Jiang:
    Saturn: Host-Gadget Synergistic USB Driver Fuzzing. SP 2024: 4646-4660
• 2022
• 
  [j2]
  • 
  • 
  • 
  • 
    Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi, Yu Jiang:
    Tardis: Coverage-Guided Embedded Operating System Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4563-4574 (2022)
• 
  [c5]
  Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang:
  KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. USENIX ATC 2022: 351-366
• 2021
• 
  [j1]
  • 
  • 
  • 
  • 
    Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang:
    Rtkaller: State-aware Task Generation for RTOS Fuzzing. ACM Trans. Embed. Comput. Syst. 20(5s): 83:1-83:22 (2021)
• 
  [c4]
  • 
  • 
  • 
  • 
    Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui:
    HEALER: Relation Learning Guided Kernel Fuzzing. SOSP 2021: 344-358

2010 – 2019

• 2019
• 
  [c3]
  Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu:
  Hunting for bugs in code coverage tools via randomized differential testing. ICSE 2019: 488-498
• 
  [c2]
  • 
  • 
  • 
  • 
    Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu:
    Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. ISSRE Workshops 2019: 36-41
• 
  [c1]
  • 
  • 
  • 
  • 
    Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Baowen Xu:
    Automatic Self-Validation for Code Coverage Profilers. ASE 2019: 79-90

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: