Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. - Yu Wang 093; Junjing Shi; Linzhang Wang; Jianhua Zhao; Xuandong Li (Internetware, 2015)

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)

Automatic detection and validation of race conditions in interrupt-driven embedded software. - Yu Wang 093; Linzhang Wang; Tingting Yu 001; Jianhua Zhao; Xuandong Li (ISSTA, 2017)

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)

Firmware Fuzzing: The State of the Art. - Chi Zhang 073; Yu Wang 093; Linzhang Wang (Internetware, 2020)

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)

Chase: A Large-Scale and Pragmatic Chinese Dataset for Cross-Database Context-Dependent Text-to-SQL. - Jiaqi Guo; Ziliang Si; Yu Wang 093; Qian Liu; Ming Fan 002; Jian-Guang Lou; Zijiang Yang 006; Ting Liu 002 (ACL/IJCNLP (1), 2021)

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)

Detecting Defects in Deep Learning Systems: a Survey. - Shangyu Xing; Junjie Zhou; Fukang Zhu; Xiaowen Yang; Yu Wang 093; Linzhang Wang (Internetware, 2022)

Infrared: A Meta Bug Detector. - Chi Zhang 073; Yu Wang 093; Linzhang Wang (CoRR, 2022)

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)

Towards Robustness of Large Language Models on Text-to-SQL Task: An Adversarial and Cross-Domain Investigation. - Weixu Zhang; Yu Wang 093; Ming Fan 002 (ICANN (5), 2023)

Demystifying What Code Summarization Models Learned. - Yu Wang 093; Ke Wang 022 (CoRR, 2023)

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)

An Explanation Method for Models of Code. - Yu Wang 093; Ke Wang 022; Linzhang Wang (Proc. ACM Program. Lang., 2023)

Research on Data Security Risk Assessment Methods for Automobile Enterprises. - Zongshuang Jiao; Wenbo Jia; Haijun Wang; Yingyi Yao; Yu Wang 093 (ICBAR, 2024)

Enhancing Field Tracking and Interprocedural Analysis to Find More Null Pointer Exceptions. - Dongfang Xie; Bihuan Chen 001; Kaifeng Huang 001; Yu Wang 093; Linghao Pan; Zhicheng Chen; Xin Peng 001 (SANER, 2024)

Strategic Chain-of-Thought: Guiding Accurate Reasoning in LLMs through Strategy Elicitation. - Yu Wang 093; Shiwan Zhao; Zhihu Wang; Heyuan Huang; Ming Fan 002; Yubo Zhang; Zhixing Wang; Haijun Wang 002; Ting Liu 002 (CoRR, 2024)

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. - Qian Chen; Chenyang Yu; Ruyan Liu; Chi Zhang 073; Yu Wang 093; Ke Wang 022; Ting Su 001; Linzhang Wang (Proc. ACM Program. Lang., 2024)

Re-TASK: Revisiting LLM Tasks from Capability, Skill, and Knowledge Perspectives. - Zhihu Wang; Shiwan Zhao; Yu Wang 093; Heyuan Huang; Sitao Xie; Yubo Zhang; Jiaxin Shi; Zhixing Wang; Hongyan Li; Junchi Yan (ACL (Findings), 2025)

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)

RAG+: Enhancing Retrieval-Augmented Generation with Application-Aware Reasoning. - Yu Wang 093; Shiwan Zhao; Zhihu Wang; Yubo Zhang; Xicheng Zhang; Zhengfan Wang; Heyuan Huang; Ming Fan 002; Ting Liu 002 (CoRR, 2025)