Yu Wang
Yu Wang
Home
Publications
Teaching
Service
Fundings
Contact
Light
Dark
Automatic
1
Learning semantic program embeddings with graph interval neural network
in Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications 2020 (OOPSLA 20)
Distinguished Paper award
Yu Wang
,
Ke Wang
,
Fengjuan Gao
,
Linzhang Wang
Cite
DOI
Distinguished Paper award
Dangdone: Eliminating dangling pointers via intermediate pointers
in Proceedings of the Tenth Asia-Pacific Symposium on Internetware (Internetware)
Yu Wang
,
Fengjuan Gao
,
Lingyun Situ
,
Lingzhang Wang
,
Bihuan Chen
,
Yang Liu
,
Jianhua Zhao
,
Xuandong Li
Cite
DOI
Automatic detection and validation of race conditions in interrupt-driven embedded software
in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis(ISSTA 17)
Yu Wang
,
Linzhang Wang
,
Tingting Yu
,
Jianhua Zhao
,
Xuandong Li
Cite
DOI
Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation
in Proceedings of the 7th Asia-Pacific Symposium on Internetware (Internetware)
Yu Wang
,
Junjing Shi
,
Linzhang Wang
,
Jianhua Zhao
,
Xuandong Li
Cite
DOI
Cite
×