Deep Learning

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
in Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications 2024 (OOPSLA 24)
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