@conference{DBLP:journals/corr/BanerjeeN13,
author = "Anindya Banerjee and David A. Naumann",
booktitle = "Festschrift for Dave Schmidt",
note = "PARTNERS: IMDEA
PROJECTS: NSF grant EIA-980635, Madrid Regi
onal Government MINECO Project TIN2009-14599-C03-
02 Desafios and EU NoE Project 256980 Nessos, NSF grants INT-9813854 and CNS-1228 930.
NOTIER 
CITE(03/03/2014):0",
pages = "284-308",
series = "EPTCS",
title = "{A} {S}imple {S}emantics and {S}tatic {A}nalysis for {S}tack {I}nspection",
volume = "129",
year = "2013",
}