Hao Wang

16 papers A* 1A 6Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Climbing the Ladder of Reasoning: What LLMs Can-and Still Can't-Solve after SFT?
CoRR
Yiyou Sun, Georgia Zhou, Hao Wang, Dacheng Li, Nouha Dziri, Dawn Song
2025 J jnl
SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows.
CoRR
Rebecca Saul, Hao Wang, Koushik Sen, David A. Wagner
2025 J jnl
Type-Constrained Code Generation with Language Models.
CoRR
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev
2025 J jnl
Type-Constrained Code Generation with Language Models.
Proc. ACM Program. Lang.
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev
2024 A conf
Guardian: A Runtime Framework for LLM-Based UI Exploration.
ISSTA
Dezhi Ran, Hao Wang, Zihe Song, Mengzhou Wu, Yuan Cao, Ying Zhang, Wei Yang, Tao Xie
2024 A conf
Hierarchy-Aware Regression Test Prioritization.
ISSRE
Hao Wang, Pu (Luke) Yi, Jeremias Parladorio, Wing Lam, Darko Marinov, Tao Xie
2024 J jnl
Skill-Adpative Imitation Learning for UI Test Reuse.
CoRR
Mengzhou Wu, Hao Wang, Jun Ren, Yuan Cao, Yuetong Li, Alex Jiang, Dezhi Ran, Yitao Hu, Wei Yang, Tao Xie
2023 A* conf
Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing.
ICSE
Dezhi Ran, Hao Wang, Wenyu Wang, Tao Xie
2022 — conf
A Theoretical Analysis of Random Regression Test Prioritization.
TACAS (2)
Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam
2008 J jnl
Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures.
IEEE Trans. Dependable Secur. Comput.
David Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha
2007 A conf
Creating Vulnerability Signatures Using Weakest Preconditions.
CSF
David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song
2006 A conf
NetSpy: Automatic Generation of Spyware Signatures for NIDS.
ACSAC
Hao Wang, Somesh Jha, Vinod Ganapathy
2006 A conf
Reducing the Dependence of SPKI/SDSI on PKI.
ESORICS
Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine
2006 — conf
Towards Automatic Generation of Vulnerability-Based Signatures.
S&P
David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha
2006 A conf
Weighted Pushdown Systems and Trust-Management Systems.
TACAS
Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps
2004 — conf
Security Policy Reconciliation in Distributed Computing Environments.
POLICY
Hao Wang, Somesh Jha, Miron Livny, Patrick D. McDaniel