@inproceedings{vakilian09inferring,
	Address = {Washington, DC},
	Author = {Mohsen Vakilian and Danny Dig and Robert L. {Bocchino, Jr.} and Jeffrey L. Overbey and Vikram S. Adve and Ralph E. Johnson},
	Booktitle = {Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering (ASE '09)},
	Doi = {10.1109/ASE.2009.68},
	Pages = {421--432},
	Publisher = {IEEE Computer Society},
	Title = {Inferring Method Effect Summaries for Nested Heap Regions},
	Year = {2009}}