@inproceedings{OhBrYi11,
  author = "Hakjoo Oh and Lucas Brutschy and Kwangkeun Yi",
  title = "Access Analysis-Based Tight Localization of Abstract Memories",
  booktitle = "VMCAI 2011: 12th International Conference on Verification, Model Checking, and Abstract Interpretation",
  volume = "6538",
  series = "Lecture Notes in Computer Science",
  pages = "356--370",
  year = "2011",
  publisher = "Springer"
}