@TECHREPORT{AMSS05,
  AUTHOR =       "Gilad Arnold and Roman Manevich and Mooly Sagiv and Ran Shaham",
  TITLE =        "Intersecting Heap Abstractions with Applications to Compile-time Memory Management",
  INSTITUTION =  "Tel Aviv University",
  YEAR =         2005,
  number =       {TR-2005-04-135520},
  month =        apr,
  note = {Available at http://www.cs.tau.ac.il/$\sim$rumster/TR-2005-04-135520.pdf}
}