Hao Yu

Orcid: 0000-0002-3828-7612

Affiliations:
  • Hong Kong University of Science and Technology, Hong Kong
  • Peking University, Beijing, China (PhD 2024)


According to our database1, Hao Yu authored at least 25 papers between 2019 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
GUI-GENESIS: Automated Synthesis of Efficient Environments with Verifiable Rewards for GUI Agent Post-Training.
CoRR, February, 2026

Towards Trustworthy LLM-Based Assertion Generation: A Data Augmentation Framework with Formal Check Approach.
Proceedings of the Design, Automation & Test in Europe Conference, 2026

LiveVerilogEval: Contamination Free and Automatically Scalable Benchmark for Verilog Code Generation.
Proceedings of the Design, Automation & Test in Europe Conference, 2026

2025
KernelBand: Boosting LLM-based Kernel Optimization with a Hierarchical and Hardware-aware Multi-armed Bandit.
CoRR, November, 2025

AppForge: From Assistant to Independent Developer - Are GPTs Ready for Software Development?
CoRR, October, 2025

Wenwang: Toward Effectively Generating Code Beyond Standalone Functions via Generative Pre-trained Models.
ACM Trans. Softw. Eng. Methodol., September, 2025

SimdBench: Benchmarking Large Language Models for SIMD-Intrinsic Code Generation.
CoRR, July, 2025

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model.
CoRR, January, 2025

Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation.
CoRR, January, 2025

Automated Proof Generation for Rust Code via Self-Evolution.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

NVMePass: A Lightweight, High-performance and Scalable NVMe Virtualization Architecture with I/O Queues Passthrough.
Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2025

2024
CoderEval.
Dataset, January, 2024

An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation.
Proc. ACM Softw. Eng., 2024

SWE-bench-java: A GitHub Issue Resolving Benchmark for Java.
CoRR, 2024

CodeR: Issue Resolving with Multi-Agent and Task Graphs.
CoRR, 2024

InfiCoder-Eval: Systematically Evaluating the Question-Answering Capabilities of Code Large Language Models.
CoRR, 2024

InfiBench: Evaluating the Question-Answering Capabilities of Code Large Language Models.
Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
High-performance and Scalable Software-based NVMe Virtualization Mechanism with I/O Queues Passthrough.
CoRR, 2023

UDA-DP: Unsupervised Domain Adaptation for Software Defect Prediction.
Proceedings of the IEEE International Conference on Software Analysis, 2023

2022
Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning.
ACM Trans. Softw. Eng. Methodol., 2022

Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Mining Event Logic Graph from Open Q&A Site for Automated Program Repair.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019
Neural detection of semantic code clones via tree-based convolution.
Proceedings of the 27th International Conference on Program Comprehension, 2019


  Loading...