4 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.SE2023
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…
cs.SE2020★ 4 cited
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…
cs.SE2019
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…