Yu Wang's homepage
Yu Wang's homepage
Home
Publications
Teaching
Service
Experience
Talk
Fundings
Contact
Light
Dark
Automatic
Fengjuan Gao
Latest
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Deep Learning-Based Hybrid Fuzz Testing
High-precision Data Race Detection Method for Large Scale Programs
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis
Learning semantic program embeddings with graph interval neural network
Automatic Buffer Overflow Warning Validation
Dangdone: Eliminating dangling pointers via intermediate pointers
Cite
×