Yu Hao

Orcid: 0000-0002-3944-3162

Affiliations:

University of California Riverside, Department of Computer Science and Engineering, CA, USA
Xi'an Jiaotong University, Department of Computer Science and Technology, China (former)

According to our database¹, Yu Hao authored at least 19 papers between 2016 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2024

SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

2023

E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.

[BibT_eX]

[DOI]

CoRR, 2023

The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Assisting Static Analysis with Large Language Models: A ChatGPT Experiment.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2022

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel.

[BibT_eX]

[DOI]

Srikanth V. Krishnamurthy

Trent Jaeger

Paul L. Yu

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

Demystifying the Dependency Challenge in Kernel Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison.

[BibT_eX]

[DOI]

Srikanth V. Krishnamurthy

Tom La Porta

Michael J. De Lucia

Proceedings of the MTD@CCS 2021: Proceedings of the 8th ACM Workshop on Moving Target Defense, 2021

Eluding ML-based Adblockers With Actionable Adversarial Examples.

[BibT_eX]

[DOI]

Srikanth V. Krishnamurthy

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel.

[BibT_eX]

[DOI]

Srikanth V. Krishnamurthy

Paul L. Yu

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2018

Debugging Multithreaded Programs as if They Were Sequential.

[BibT_eX]

[DOI]

IEEE Access, 2018