Jiaqi He Karim Ali 0001 GPU-Accelerated Flow-Sensitive Pointer Analysis for C/C++ Programs. 3116-3137 2026 3 Proc. ACM Softw. Eng. FSE https://doi.org/10.1145/3808145 db/journals/pacmse/pacmse3.html#HeA26