Carraybound: static array bounds checking in C programs based on taint analysis. - Fengjuan Gao; Tianjiao Chen; Yu Wang 093; Lingyun Situ; Linzhang Wang; Xuandong Li (Internetware, 2016)

ACSPChecker: an ASP based CSP model checking tool. - Lingyun Situ; Yu Wang 093; Fengjuan Gao; Linzhang Wang; Lei Bu; Jianhua Zhao; Xuandong Li (Internetware, 2016)

BovInspector: automatic inspection and repair of buffer overflow vulnerabilities. - Fengjuan Gao; Linzhang Wang; Xuandong Li (ASE, 2016)

DangDone: Eliminating Dangling Pointers via Intermediate Pointers. - Yu Wang 093; Fengjuan Gao; Lingyun Situ; Lingzhang Wang; Bihuan Chen 001; Yang Liu 003; Jianhua Zhao; Xuandong Li (Internetware, 2018)

Learning a Static Bug Finder from Data. - Yu Wang 093; Fengjuan Gao; Linzhang Wang; Ke Wang 022 (CoRR, 2019)

Automatic Buffer Overflow Warning Validation. - Fengjuan Gao; Yu Wang 093; Linzhang Wang; Zijiang Yang 006; Xuandong Li (J. Comput. Sci. Technol., 2020)

Learning semantic program embeddings with graph interval neural network. - Yu Wang 093; Ke Wang 022; Fengjuan Gao; Linzhang Wang (Proc. ACM Program. Lang., 2020)

Demystifying Code Summarization Models. - Yu Wang 093; Fengjuan Gao; Linzhang Wang (CoRR, 2021)

Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. - Fengjuan Gao; Yu Wang 093; Tianjiao Chen; Lingyun Situ; Linzhang Wang; Xuandong Li (Int. J. Softw. Informatics, 2021)

Deep Learning-Based Hybrid Fuzz Testing. - Fengjuan Gao; Yu Wang 093; Lingyun Situ; Linzhang Wang (Int. J. Softw. Informatics, 2021)

Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. - Yu Wang 093; Fengjuan Gao; Linzhang Wang; Tingting Yu 001; Jianhua Zhao; Xuandong Li (IEEE Trans. Software Eng., 2022)

Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. - Yu Wang 093; Fengjuan Gao; Linzhang Wang; Tingting Yu 001; Ke Wang 022; Jianhua Zhao; Xuandong Li (CoRR, 2023)

Discrete Adversarial Attack to Models of Code. - Fengjuan Gao; Yu Wang 093; Ke Wang 022 (Proc. ACM Program. Lang., 2023)

Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations. - Fengjuan Gao; Hongyu Chen; Yuewei Zhou; Ke Wang (ASE, 2024)

Solving Floating-Point Constraints with Continuous Optimization. - Qian Chen; Chenqi Cui; Fengjuan Gao; Yu Wang 093; Ke Wang; Linzhang Wang (Proc. ACM Program. Lang., 2025)