@inproceedings{ISMM-2009-MarronKH,
	author        = "Mark Marron and Deepak Kapur and Manuel V. Hermenegildo",
	booktitle     = "{Proceedings of the Eighth International Symposium on Memory Management}",
	doi           = "10.1145/1542431.1542445",
	isbn          = "978-1-60558-347-1",
	pages         = "89--98",
	publisher     = "{ACM}",
	title         = "{Identification of logically related heap regions}",
	year          = 2009,
}