Professor Heng Yin and his student Lian Gao received the Distinguished Paper Award in the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2025, for their paper titled "BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction”.