Demsky, B., and M. Rinard,
"Automatic Extraction of Heap Reference Properties in Object-Oriented Programs",
IEEE Transactions on Software Engineering, vol. 35, no. 3, pp. 305-324, May-June, 2009.
Jenista, J. C., and B. Demsky,
"Disjointness Analysis for Java-Like Languages",
Technical Report, no. UCI-ISR-09-1: Institute for Software Research, University of California, Irvine, CA, February, 2009.