L. Lu, W. Ji, and M. Scott. Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 519--529. New York, NY, USA, ACM, (2014)
O. Tripp, G. Yorsh, J. Field, and M. Sagiv. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 207--224. ACM, (2011)