Deep Learning

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang
Cite DOI URL
Accerlating Constraint Solving in Symbolic Execution by CNN
An extensible work to “CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks”.
Code
Learning Semantic Program Embeddings
Learning Semantic Program Embeddings via Graph Interval Neural Network.
Code