Yu Wang's homepage
Yu Wang's homepage
Home
Publications
Teaching
Service
Experience
Talk
Fundings
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Journal article
Date
2022
2021
2020
2018
2017
2015
Yu Wang
,
Fengjuan Gao
,
Linzhang Wang
,
Tingting Yu
,
Jianhua Zhao
,
Xuandong Li
.
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
.
IEEE Transactions on Software Engineering
, 2022.
Cite
DOI
Fengjuan Gao
,
Yu Wang
,
Tianjiao Chen
,
Lingyun Situ
,
Linzhang Wang
,
Xuandong Li
.
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis
.
International Journal of Software and Informatics
, 2021.
Cite
DOI
Fengjuan Gao
,
Yu Wang
,
Jinguo Zhou
,
Anzi Xu
,
Linzhang Wang
,
Rongxin Wu
,
Charles Zhang
,
Zhendong Su
.
High-precision Data Race Detection Method for Large Scale Programs
.
Ruan Jian Xue Bao/Journal of Software
, 2021.
Cite
DOI
Fengjuan Gao
,
Yu Wang
,
Lingyun Situ
,
Linzhang Wang
.
Deep Learning-Based Hybrid Fuzz Testing
.
International Journal of Software & Informatics
, 2021.
Cite
DOI
Yu Wang
,
Ke Wang
,
Fengjuan Gao
,
Linzhang Wang
.
Learning semantic program embeddings with graph interval neural network
.
Proceedings of the ACM on Programming Languages
, 2020.
Cite
DOI
Distinguished Paper award
王豫
,
高凤娟
,
马可欣
,
司徒凌云
,
王林章
,
陈碧欢
,
刘杨
,
赵建华
,
李宣东
.
垂悬指针检测与防御方法
.
软件学报
, 2020.
Cite
DOI
Fengjuan Gao
,
Yu Wang
,
Linzhang Wang
,
Zijiang Yang
,
Xuandong Li
.
Automatic Buffer Overflow Warning Validation
.
Journal of Computer Science and Technology
, 2020.
Cite
DOI
Yu Wang
,
Fengjuan Gao
,
Lingyun Situ
,
Lingzhang Wang
,
Bihuan Chen
,
Yang Liu
,
Jianhua Zhao
,
Xuandong Li
.
Dangdone: Eliminating dangling pointers via intermediate pointers
.
Proceedings of the Tenth Asia-Pacific Symposium on Internetware
, 2018.
Cite
DOI
Yu Wang
,
Linzhang Wang
,
Tingting Yu
,
Jianhua Zhao
,
Xuandong Li
.
Automatic detection and validation of race conditions in interrupt-driven embedded software
.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
, 2017.
Cite
DOI
Yu Wang
,
Junjing Shi
,
Linzhang Wang
,
Jianhua Zhao
,
Xuandong Li
.
Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation
.
Proceedings of the 7th Asia-Pacific Symposium on Internetware
, 2015.
Cite
DOI
Cite
×