Manu Sridharan, Rastislav Bodík
Refinement-based context-sensitive points-to analysis for Java
PLDI, 2006.
@inproceedings{PLDI-2006-SridharanB,
author = "Manu Sridharan and Rastislav Bodík",
booktitle = "{Proceedings of the 27th Conference on Programming Language Design and Implementation}",
doi = "10.1145/1133981.1134027",
editor = "Michael I. Schwartzbach and Thomas Ball",
isbn = "1-59593-320-4",
pages = "387--400",
publisher = "{ACM}",
title = "{Refinement-based context-sensitive points-to analysis for Java}",
year = 2006,
}











