Global optimization of numerical programs via prioritized stochastic algebraic transformations. - Xie Wang; Huaijin Wang 001; Zhendong Su 001; Enyi Tang; Xin Chen 027; Weijun Shen; Zhenyu Chen 001; Linzhang Wang; Xianpei Zhang; Xuandong Li (ICSE, 2019)

Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings. - Zongjie Li; Pingchuan Ma 004; Huaijin Wang 001; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (ICSE, 2022)

Deceiving Deep Neural Networks-Based Binary Code Matching with Adversarial Programs. - Wai Kin Wong; Huaijin Wang 001; Pingchuan Ma 004; Shuai Wang 011; Mingyue Jiang; Tsong Yueh Chen; Qiyi Tang 003; Sen Nie; Shi Wu (ICSME, 2022)

Generating Effective Software Obfuscation Sequences With Reinforcement Learning. - Huaijin Wang 001; Shuai Wang 011; Dongpeng Xu 001; Xiangyu Zhang; Xiao Liu 025 (IEEE Trans. Dependable Secur. Comput., 2022)

RLTrace: Synthesizing High-Quality System Call Traces for OS Fuzz Testing. - Wei Chen; Huaijin Wang 001; Weixi Gu; Shuai Wang 011 (ISC, 2023)

Refining Decompiled C Code with Large Language Models. - Wai Kin Wong; Huaijin Wang 001; Zongjie Li; Zhibo Liu; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (CoRR, 2023)

Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking. - Huaijin Wang 001; Pingchuan Ma 004; Yuanyuan Yuan; Zhibo Liu; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (IEEE Trans. Software Eng., 2023)

sem2vec: Semantics-aware Assembly Tracelet Embedding. - Huaijin Wang 001; Pingchuan Ma 004; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (ACM Trans. Softw. Eng. Methodol., 2023)

Are We There Yet? Filling the Gap Between Binary Similarity Analysis and Binary Software Composition Analysis. - Huaijin Wang 001; Zhibo Liu; Shuai Wang 011; Ying Wang; Qiyi Tang 003; Sen Nie; Shi Wu (EuroS&P, 2024)

BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing. - Wai Kin Wong; Huaijin Wang 001; Zongjie Li; Shuai Wang 011 (ICSE, 2024)

PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis. - Zhaoyu Wang; Pingchuan Ma 004; Huaijin Wang 001; Shuai Wang 011 (Proc. ACM Program. Lang., 2024)

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements. - Huaijin Wang 001; Zhibo Liu; Yanbo Dai; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (ICSE, 2025)

DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code. - Wai Kin Wong; Daoyuan Wu; Huaijin Wang 001; Zongjie Li; Zhibo Liu; Shuai Wang 011; Qiyi Tang 003; Sen Nie; Shi Wu (Proc. ACM Softw. Eng., 2025)

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps. - Yalong Du; Chaozheng Wang; Huaijin Wang 001 (CoRR, 2025)