Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Blanchet, B. (2003). Escape Analysis for Java (TM): Theory and Practice. ACM Transactions on Programming Languages and Systems, 25(6), 713-775.