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
April, 2024
Cite DOI URL
Type
Journal article
Publication
Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA1
Alias Analysis Deep Learning Equivalence Checking