Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. - Diego Garbervetsky; Chaker Nakhli; Sergio Yovine; Hichem Zorgati (RV@ETAPS, 2004)