@inproceedings{might-2010-resolving, series={PLDI ’10}, title={Resolving and exploiting the $k$-CFA paradox: illuminating functional vs. object-oriented program analysis}, url={http://dx.doi.org/10.1145/1806596.1806631}, DOI={10.1145/1806596.1806631}, booktitle={Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation}, publisher={ACM}, author={Might, Matthew and Smaragdakis, Yannis and Van Horn, David}, year={2010}, month=June, pages={305–315}, collection={PLDI ’10} }