Security Policy Reconciliation in Distributed Computing Environments. - Hao Wang 112; Somesh Jha; Miron Livny; Patrick D. McDaniel (POLICY, 2004)

NetSpy: Automatic Generation of Spyware Signatures for NIDS. - Hao Wang 112; Somesh Jha; Vinod Ganapathy (ACSAC, 2006)

Reducing the Dependence of SPKI/SDSI on PKI. - Hao Wang 112; Somesh Jha; Thomas W. Reps; Stefan Schwoon; Stuart G. Stubblebine (ESORICS, 2006)

Towards Automatic Generation of Vulnerability-Based Signatures. - David Brumley; James Newsome; Dawn Xiaodong Song; Hao Wang 112; Somesh Jha (S&P, 2006)

Weighted Pushdown Systems and Trust-Management Systems. - Somesh Jha; Stefan Schwoon; Hao Wang 112; Thomas W. Reps (TACAS, 2006)

Creating Vulnerability Signatures Using Weakest Preconditions. - David Brumley; Hao Wang 112; Somesh Jha; Dawn Xiaodong Song (CSF, 2007)

Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures. - David Brumley; James Newsome; Dawn Song; Hao Wang 112; Somesh Jha (IEEE Trans. Dependable Secur. Comput., 2008)

A Theoretical Analysis of Random Regression Test Prioritization. - Pu Yi 001; Hao Wang 112; Tao Xie 001; Darko Marinov; Wing Lam (TACAS (2), 2022)

Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing. - Dezhi Ran; Hao Wang 112; Wenyu Wang; Tao Xie 001 (ICSE, 2023)

Hierarchy-Aware Regression Test Prioritization. - Hao Wang 112; Pu (Luke) Yi 001; Jeremias Parladorio; Wing Lam; Darko Marinov; Tao Xie 001 (ISSRE, 2024)

Guardian: A Runtime Framework for LLM-Based UI Exploration. - Dezhi Ran; Hao Wang 112; Zihe Song; Mengzhou Wu; Yuan Cao; Ying Zhang 012; Wei Yang 013; Tao Xie 001 (ISSTA, 2024)

Skill-Adpative Imitation Learning for UI Test Reuse. - Mengzhou Wu; Hao Wang 112; Jun Ren; Yuan Cao; Yuetong Li; Alex Jiang; Dezhi Ran; Yitao Hu; Wei Yang 013; Tao Xie 001 (CoRR, 2024)

Type-Constrained Code Generation with Language Models. - Niels Mündler; Jingxuan He; Hao Wang 112; Koushik Sen; Dawn Song; Martin T. Vechev (Proc. ACM Program. Lang., 2025)

Climbing the Ladder of Reasoning: What LLMs Can-and Still Can't-Solve after SFT? - Yiyou Sun; Georgia Zhou; Hao Wang 112; Dacheng Li; Nouha Dziri; Dawn Song (CoRR, 2025)

SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows. - Rebecca Saul; Hao Wang 112; Koushik Sen; David A. Wagner 001 (CoRR, 2025)