@inproceedings{PASTE-2008-MarronMHSK,
	author        = "Mark Marron and Mario Méndez-Lojo and Manuel V. Hermenegildo and Darko Stefanovic and Deepak Kapur",
	booktitle     = "{Proceedings of the Eighth Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/1512475.1512485",
	isbn          = "978-1-60558-382-2",
	pages         = "43--49",
	publisher     = "{ACM}",
	title         = "{Sharing analysis of arrays, collections, and recursive structures}",
	year          = 2008,
}