Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis. - Ramya Kasaraneni; V. Krishna Nandivada (CC, 2026)