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

Edgar Pek, P. Madhusudan. Explicit and symbolic techniques for fast and scalable points-to analysis. In Steven Arzt, Raúl A. Santelices, editors, Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, SOAP 2014, Edinburgh, UK, Co-located with PLDI 2014, June 12, 2014. pages 1-6, ACM, 2014. [doi]

Abstract

Abstract is missing.