T. Elmas, S. Qadeer, and S. Tasiran. Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 245--255. ACM, (2007)
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)