@incollection {bciw12,
   author = {Berdine, Josh and Cox, Arlen and Ishtiaq, Samin and Wintersteiger, Christoph M.},
   title = {Diagnosing Abstraction Failure for Separation Logic–Based Analyses},
   booktitle = {Proceedings of CAV},
   series = {LNCS},
   publisher = {Springer},
   pages = {155-173},
   volume = {7358},
   year = {2012}
}