Ovidiu Gheorghioiu Alexandru Salcianu Martin C. Rinard Interprocedural compatibility analysis for static object preallocation. 273-284 2003 POPL http://doi.acm.org/10.1145/640128.604154 db/conf/popl/popl2003.html#GheorghioiuSR03