Yu Wang

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Automatically Detecting

Embedded Software

Alternating Time Temporal Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Dongfang Xie, Bihuan Chen, Kaifeng Huang, Yu Wang, Linghao Pan, Zhicheng Chen, Xin Peng
Enhancing Field Tracking and Interprocedural Analysis to Find More Null Pointer Exceptions. SANER (2024)
Fengjuan Gao, Yu Wang, Ke Wang
Discrete Adversarial Attack to Models of Code. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yu Wang, Ke Wang, Linzhang Wang
An Explanation Method for Models of Code. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yu Wang, Ke Wang
Demystifying What Code Summarization Models Learned. CoRR (2023)
Yu Wang, Fengjuan Gao, Linzhang Wang
Demystifying Code Summarization Models. CoRR (2021)
Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang
Learning semantic program embeddings with graph interval neural network. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
Learning Semantic Program Embeddings with Graph Interval Neural Network. CoRR (2020)
Chi Zhang, Yu Wang, Linzhang Wang
Firmware Fuzzing: The State of the Art. Internetware (2020)
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
Automatic Buffer Overflow Warning Validation. J. Comput. Sci. Technol. 35 (6) (2020)
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
Learning a Static Bug Finder from Data. CoRR (2019)
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware (2018)
Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Automatic detection and validation of race conditions in interrupt-driven embedded software. ISSTA (2017)
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
ACSPChecker: an ASP based CSP model checking tool. Internetware (2016)
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li
Carraybound: static array bounds checking in C programs based on taint analysis. Internetware (2016)
Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. Internetware (2015)