Equivalence Checking

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