@inproceedings{ISMM-2010-VechevYY,
	author        = "Martin T. Vechev and Eran Yahav and Greta Yorsh",
	booktitle     = "{Proceedings of the Ninth International Symposium on Memory Management}",
	doi           = "10.1145/1806651.1806658",
	isbn          = "978-1-4503-0054-4",
	pages         = "41--50",
	publisher     = "{ACM}",
	title         = "{PHALANX: parallel checking of expressive heap assertions}",
	year          = 2010,
}