Yu Wang

According to our database, Yu Wang authored at least 28 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

RAG+: Enhancing Retrieval-Augmented Generation with Application-Aware Reasoning.

Yu Wang, Shiwan Zhao, Zhihu Wang, Yubo Zhang, Xicheng Zhang, Zhengfan Wang, Heyuan Huang, Ming Fan, Ting Liu

CoRR, June, 2025

Solving Floating-Point Constraints with Continuous Optimization.

Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, Linzhang Wang

Proc. ACM Program. Lang., 2025

Re-TASK: Revisiting LLM Tasks from Capability, Skill, and Knowledge Perspectives.

Zhihu Wang, Shiwan Zhao, Yu Wang, Heyuan Huang, Sitao Xie, Yubo Zhang, Jiaxin Shi, Zhixing Wang, Hongyan Li, Junchi Yan

Proceedings of the Findings of the Association for Computational Linguistics, 2025

2024

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks.

Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang

Proc. ACM Program. Lang., 2024

Strategic Chain-of-Thought: Guiding Accurate Reasoning in LLMs through Strategy Elicitation.

Yu Wang, Shiwan Zhao, Zhihu Wang, Heyuan Huang, Ming Fan, Yubo Zhang, Zhixing Wang, Haijun Wang, Ting Liu

CoRR, 2024

Enhancing Field Tracking and Interprocedural Analysis to Find More Null Pointer Exceptions.

Dongfang Xie, Bihuan Chen, Kaifeng Huang, Yu Wang, Linghao Pan, Zhicheng Chen, Xin Peng

Proceedings of the IEEE International Conference on Software Analysis, 2024

Research on Data Security Risk Assessment Methods for Automobile Enterprises.

Zongshuang Jiao, Wenbo Jia, Haijun Wang, Yingyi Yao, Yu Wang

Proceedings of the 2024 4th International Conference on Big Data, 2024

2023

An Explanation Method for Models of Code.

Yu Wang, Ke Wang, Linzhang Wang

Proc. ACM Program. Lang., October, 2023

Discrete Adversarial Attack to Models of Code.

Fengjuan Gao, Yu Wang, Ke Wang

Proc. ACM Program. Lang., 2023

Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.

Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li

CoRR, 2023

Demystifying What Code Summarization Models Learned.

Yu Wang, Ke Wang

CoRR, 2023

Towards Robustness of Large Language Models on Text-to-SQL Task: An Adversarial and Cross-Domain Investigation.

Weixu Zhang, Yu Wang, Ming Fan

Proceedings of the Artificial Neural Networks and Machine Learning, 2023

2022

Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.

Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li

IEEE Trans. Software Eng., 2022

Infrared: A Meta Bug Detector.

Chi Zhang, Yu Wang, Linzhang Wang

CoRR, 2022

Detecting Defects in Deep Learning Systems: a Survey.

Shangyu Xing, Junjie Zhou, Fukang Zhu, Xiaowen Yang, Yu Wang, Linzhang Wang

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

2021

Deep Learning-Based Hybrid Fuzz Testing.

Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang

Int. J. Softw. Informatics, 2021

Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.

Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li

Int. J. Softw. Informatics, 2021

Demystifying Code Summarization Models.

Yu Wang, Fengjuan Gao, Linzhang Wang

CoRR, 2021

Chase: A Large-Scale and Pragmatic Chinese Dataset for Cross-Database Context-Dependent Text-to-SQL.

Jiaqi Guo, Ziliang Si, Yu Wang, Qian Liu, Ming Fan, Jian-Guang Lou, Zijiang Yang, Ting Liu

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

2020

Learning semantic program embeddings with graph interval neural network.

Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang

Proc. ACM Program. Lang., 2020

Automatic Buffer Overflow Warning Validation.

Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li

J. Comput. Sci. Technol., 2020

Firmware Fuzzing: The State of the Art.

Chi Zhang, Yu Wang, Linzhang Wang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019

Learning a Static Bug Finder from Data.

Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang

CoRR, 2019

2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.

Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

2017

Automatic detection and validation of race conditions in interrupt-driven embedded software.

Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

ACSPChecker: an ASP based CSP model checking tool.

Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Carraybound: static array bounds checking in C programs based on taint analysis.

Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

2015

Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.

Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015