@conference{KiCh-VMCAI-2011,
title={String Analysis as an Abstract Interpretation},
author = {Se-Won Kim and Kwang-Moo Choe},
booktitle={Verification, Model Checking, and Abstract Interpretation},
pages={294--308},
year={2011},
organization={Springer}
}