@conference{OhBrYi-VMCAI-2011,
title={Access Analysis-Based Tight Localization of Abstract Memories},
author = {Hakjoo Oh and Lucas Brutschy and Kwangkeun Yi},
booktitle={Verification, Model Checking, and Abstract Interpretation},
pages={356-370},
year={2011},
organization={Springer}
}