Isil Dillig, Thomas Dillig, Alex Aiken. Sound, complete and scalable path-sensitive analysis. In Rajiv Gupta, Saman P. Amarasinghe, editors, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. pages 270-280, ACM, 2008. [doi]
Abstract is missing.