Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis.

Ramya Kasaraneni, V. Krishna Nandivada

Browse the full CC paper archive.