8 citations · 17 across the 5 of their papers we have counts for
5 papers
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Yu Wang, Fengjuan Gao, Linzhang Wang +4
Interrupt-driven programs are widely deployed in safety-critical embedded systems to perform hardware and resource dependent data operation tasks. The frequent use of interrupts in…
Infrared: A Meta Bug Detector
Chi Zhang, Yu Wang, Linzhang Wang
The recent breakthroughs in deep learning methods have sparked a wave of interest in learning-based bug detectors. Compared to the traditional static analysis tools, these bug dete…
WheaCha: A Method for Explaining the Predictions of Models of Code
Yu Wang, Ke Wang, Linzhang Wang
Attribution methods have emerged as a popular approach to interpreting model predictions based on the relevance of input features. Although the feature importance ranking can provi…
Learning Semantic Program Embeddings with Graph Interval Neural Network
Yu Wang, Fengjuan Gao, Linzhang Wang +1
Learning distributed representations of source code has been a challenging task for machine learning models. Earlier works treated programs as text so that natural language methods…
Learning a Static Bug Finder from Data
Yu Wang, Fengjuan Gao, Linzhang Wang +1
We present an alternative approach to creating static bug finders. Instead of relying on human expertise, we utilize deep neural networks to train static analyzers directly from da…