Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis
Published in OOPSLA 2026, 2026
Recommended citation: Jinpeng Wang, Yufei Liang, Zhongsheng Zhan, Tian Tan, and Yue Li. (2026). Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis. Proceedings of the ACM on Programming Languages (OOPSLA 2026). To appear.