Explicit and symbolic techniques for fast and scalable points-to analysis.

Edgar Pek, P. Madhusudan

Browse the full PLDI paper archive.