An extensible work to "CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks".
Detecting Race in Interrupt-driven Programs by Static Analysis, Symbolic Execution and Dynamic Validation.
Learning Semantic Program Embeddings via Graph Interval Neural Network.
We design a lightweight approach to eliminate dangling pointers during the compilation time.
A data race detection method that is built upon value flow analysis.