@inproceedings{brockschmidt17heap,
	Author = {Marc Brockschmidt and Yuxin Chen and Byron Cook and Pushmeet Kohli and Siddharth Krishna and Daniel Tarlow},
	Booktitle = {24th Static Analysis Symposium (SAS)},
	Month = {August},
	Title = {Learning Shape Analysis},
	Year = {2017}}