Registered user since Fri 16 Mar 2018
Name:Haoyu Wang
Country:China
Affiliation:Huazhong University of Science and Technology
Personal website: https://howiepku.github.io/
Research interests:Program Analysis, Mobile Security, Blockchain Security
Contributions
2026
ISSTA
- A Temporal Reasoning Benchmarking Framework for LRMs via Difficulty-controlled and Dynamic Test Generation
- LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle
- MalTotal: Cost-Effective and Language-Agnostic Malicious Code Poisoning Detection for Millions of Repositories
- CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Compiler
- STARS: Static Analysis-guided Assertion Synthesis Using Large Language Models
Using general profile