@article{OhYi13,
  author = "Hakjoo Oh and Kwangkeun Yi",
  title = "Access-based Abstract Memory Localization in Static Analysis",
  journal = "Science of Computer Programming",
  volume = "78",
  number = "9",
  pages = "1701--1727",
  year = "2013"
}