PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis.

Peiming Liu, Yanze Li, Bradley Swain, Jeff Huang

Browse the full ICSE paper archive.