Robert P. Fitzgerald Todd B. Knoblock Erik Ruf Bjarne Steensgaard David Tarditi Marmot: an optimizing compiler for Java. 199-232 2000 30 Softw., Pract. Exper. 3 db/journals/spe/spe30.html#FitzgeraldKRST00