Hao Wang

According to our database, Hao Wang authored at least 15 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows.

Rebecca Saul, Hao Wang, Koushik Sen, David A. Wagner

CoRR, June, 2025

Climbing the Ladder of Reasoning: What LLMs Can-and Still Can't-Solve after SFT?

Yiyou Sun, Georgia Zhou, Hao Wang, Dacheng Li, Nouha Dziri, Dawn Song

CoRR, April, 2025

Type-Constrained Code Generation with Language Models.

Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev

Proc. ACM Program. Lang., 2025

2024

Skill-Adpative Imitation Learning for UI Test Reuse.

Mengzhou Wu, Hao Wang, Jun Ren, Yuan Cao, Yuetong Li, Alex Jiang, Dezhi Ran, Yitao Hu, Wei Yang, Tao Xie

CoRR, 2024

Guardian: A Runtime Framework for LLM-Based UI Exploration.

Dezhi Ran, Hao Wang, Zihe Song, Mengzhou Wu, Yuan Cao, Ying Zhang, Wei Yang, Tao Xie

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Hierarchy-Aware Regression Test Prioritization.

Hao Wang, Pu (Luke) Yi, Jeremias Parladorio, Wing Lam, Darko Marinov, Tao Xie

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

2023

Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing.

Dezhi Ran, Hao Wang, Wenyu Wang, Tao Xie

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

A Theoretical Analysis of Random Regression Test Prioritization.

Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2008

Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures.

David Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha

IEEE Trans. Dependable Secur. Comput., 2008

2007

Creating Vulnerability Signatures Using Weakest Preconditions.

David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Weighted Pushdown Systems and Trust-Management Systems.

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Towards Automatic Generation of Vulnerability-Based Signatures.

David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

Reducing the Dependence of SPKI/SDSI on PKI.

Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine

Proceedings of the Computer Security, 2006

NetSpy: Automatic Generation of Spyware Signatures for NIDS.

Hao Wang, Somesh Jha, Vinod Ganapathy

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2004

Security Policy Reconciliation in Distributed Computing Environments.

Hao Wang, Somesh Jha, Miron Livny, Patrick D. McDaniel

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004