@conference{DBLP:conf/popl/ItzhakyBILNS14,
author = "Shachar Itzhaky and Anindya Banerjee and Neil Immerman and Ori Lahav and Aleksandar Nanevski and Mooly Sagiv",
booktitle = "POPL",
editor = "Suresh Jagannathan and               Peter Sewell",
isbn = "978-1-4503-2544-8",
note = "PARTNERS: IMDEA
PROJECTS: European Union’s Seventh
Framework Program (FP7/2007-2013) / ERC grant agreement no.[321174-VSSC], Israel Science Founda-
tion (652/11). Spanish MINECO projects TIN2009-14599-C03-02 Desafios,
TIN2010-20639 Paran10, TIN2012-39391-C04-01 Strongsoft, EU NoE Project 256980 Nessos, AMAROUT grant PCOFUND-GA-2008-229599, and Ramon y Cajal grant RYC-2010-0743.
TIER: A
CITE(03/03/2014):0",
pages = "385-396",
publisher = "ACM",
title = "{M}odular reasoning about heap paths via effectively propositional               formulas",
year = "2014",
}