@techreport{brockschmidt16heap,
	Author = {Marc Brockschmidt and Yuxin Chen and Byron Cook and Pushmeet Kohli and Siddharth Krishna and Daniel Tarlow and He Zhu},
	Institution = {Microsoft Research},
	Month = {June},
	Title = {Learning to Verify the Heap},
	Year = {2016}}