Yu Wang

37 papers A* 2A 2Journal 21Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
A survey of testing automated driving system.
Frontiers Comput. Sci.
Zheng Li, Wentai Zhu, Haohui Huang, Yu Wang, Linzhang Wang
2025 — conf
Emerging Compiler Testing Based on Test Case Reuse.
Internetware
Kelin Zhu, Yu Wang, Linzhang Wang, Xuandong Li
2025 — conf
Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection.
Internetware
Fengjuan Gao, Mumu Zhang, Zixiao Zhao, Yu Wang, Xuandong Li
2025 A* conf
RAG+: Enhancing Retrieval-Augmented Generation with Application-Aware Reasoning.
EMNLP
Yu Wang, Shiwan Zhao, Zhihu Wang, Ming Fan, Xicheng Zhang, Yubo Zhang, Zhengfan Wang, Heyuan Huang, Ting Liu
2025 J jnl
RAG+: Enhancing Retrieval-Augmented Generation with Application-Aware Reasoning.
CoRR
Yu Wang, Shiwan Zhao, Zhihu Wang, Yubo Zhang, Xicheng Zhang, Zhengfan Wang, Heyuan Huang, Ming Fan, Ting Liu
2025 — conf
Re-TASK: Revisiting LLM Tasks from Capability, Skill, and Knowledge Perspectives.
ACL (Findings)
Zhihu Wang, Shiwan Zhao, Yu Wang, Heyuan Huang, Sitao Xie, Yubo Zhang, Jiaxin Shi, Zhixing Wang, Hongyan Li, Junchi Yan
2025 A* conf
Recover Function Signature from Combined Constraints.
CCS
Haohui Huang, Yue Liu, Yuxi Cheng, Haiyang Wei, Jiamu Liu, Yu Wang, Linzhang Wang
2025 J jnl
SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis.
ACM Trans. Softw. Eng. Methodol.
Jiayi Wang, Yu Wang, Ke Wang, Linzhang Wang
2025 J jnl
Solving Floating-Point Constraints with Continuous Optimization.
Proc. ACM Program. Lang.
Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, Linzhang Wang
2025 J jnl
Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations.
Proc. ACM Program. Lang.
Yi Zhang, Yu Wang, Linzhang Wang, Ke Wang
2024 A conf
Enhancing Field Tracking and Interprocedural Analysis to Find More Null Pointer Exceptions.
SANER
Dongfang Xie, Bihuan Chen, Kaifeng Huang, Yu Wang, Linghao Pan, Zhicheng Chen, Xin Peng
2024 J jnl
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks.
Proc. ACM Program. Lang.
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang
2024 J jnl
Re-TASK: Revisiting LLM Tasks from Capability, Skill, and Knowledge Perspectives.
CoRR
Zhihu Wang, Shiwan Zhao, Yu Wang, Heyuan Huang, Jiaxin Shi, Sitao Xie, Zhixing Wang, Yubo Zhang, Hongyan Li, Junchi Yan
2024 — conf
Research on Data Security Risk Assessment Methods for Automobile Enterprises.
ICBAR
Zongshuang Jiao, Wenbo Jia, Haijun Wang, Yingyi Yao, Yu Wang
2024 J jnl
Strategic Chain-of-Thought: Guiding Accurate Reasoning in LLMs through Strategy Elicitation.
CoRR
Yu Wang, Shiwan Zhao, Zhihu Wang, Heyuan Huang, Ming Fan, Yubo Zhang, Zhixing Wang, Haijun Wang, Ting Liu
2023 J jnl
An Explanation Method for Models of Code.
Proc. ACM Program. Lang.
Yu Wang, Ke Wang, Linzhang Wang
2023 J jnl
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
2023 J jnl
Demystifying What Code Summarization Models Learned.
CoRR
Yu Wang, Ke Wang
2023 J jnl
Discrete Adversarial Attack to Models of Code.
Proc. ACM Program. Lang.
Fengjuan Gao, Yu Wang, Ke Wang
2023 — conf
Towards Robustness of Large Language Models on Text-to-SQL Task: An Adversarial and Cross-Domain Investigation.
ICANN (5)
Weixu Zhang, Yu Wang, Ming Fan
2022 J jnl
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.
IEEE Trans. Software Eng.
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
2022 — conf
Detecting Defects in Deep Learning Systems: a Survey.
Internetware
Shangyu Xing, Junjie Zhou, Fukang Zhu, Xiaowen Yang, Yu Wang, Linzhang Wang
2022 J jnl
Infrared: A Meta Bug Detector.
CoRR
Chi Zhang, Yu Wang, Linzhang Wang
2021 — conf
Chase: A Large-Scale and Pragmatic Chinese Dataset for Cross-Database Context-Dependent Text-to-SQL.
ACL/IJCNLP (1)
Jiaqi Guo, Ziliang Si, Yu Wang, Qian Liu, Ming Fan, Jian-Guang Lou, Zijiang Yang, Ting Liu
2021 J jnl
Deep Learning-Based Hybrid Fuzz Testing.
Int. J. Softw. Informatics
Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang
2021 J jnl
Demystifying Code Summarization Models.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang
2021 J jnl
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.
Int. J. Softw. Informatics
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
2020 J jnl
Automatic Buffer Overflow Warning Validation.
J. Comput. Sci. Technol.
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
2020 — conf
Firmware Fuzzing: The State of the Art.
Internetware
Chi Zhang, Yu Wang, Linzhang Wang
2020 J jnl
Learning Semantic Program Embeddings with Graph Interval Neural Network.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
2020 J jnl
Learning semantic program embeddings with graph interval neural network.
Proc. ACM Program. Lang.
Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang
2019 J jnl
Learning a Static Bug Finder from Data.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
2018 — conf
DangDone: Eliminating Dangling Pointers via Intermediate Pointers.
Internetware
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
2017 A conf
Automatic detection and validation of race conditions in interrupt-driven embedded software.
ISSTA
Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
2016 — conf
ACSPChecker: an ASP based CSP model checking tool.
Internetware
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
2016 — conf
Carraybound: static array bounds checking in C programs based on taint analysis.
Internetware
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li
2015 — conf
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.
Internetware
Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li