243 followers Verification papers @verif_papers Synthesizing Heap Manipulations via Integer Linear Programming. - Anshul Garg, Subhajit Roy http://t.co/EtvipHZVxp 03 Sep 2015 Reply Repost Favourite