enter search term and/or author name
Escape analysis for JavaTM: Theory and practice
Escape analysis is a static analysis that determines whether the lifetime of data may exceed its static scope.This paper first presents the design and correctness proof of an escape analysis for JavaTM. This analysis is interprocedural,...
Fractal symbolic analysis
Vijay Menon, Keshav Pingali, Nikolay Mateev
Modern compilers restructure programs to improve their efficiency. Dependence analysis is the most widely used technique for proving the correctness of such transformations, but it suffers from the limitation that it considers only the memory...
Extending Java for high-level Web service construction
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
We incorporate innovations from the <bigwig> project into the Java language to provide high-level features for Web service programming. The resulting language, JWIG, contains an advanced session model and a flexible mechanism for dynamic...
Stack allocation and synchronization optimizations for Java using escape analysis
Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff
This article presents an escape analysis framework for Java to determine (1) if an object is not reachable after its method of creation returns, allowing the object to be allocated on the stack, and (2) if an object is reachable only from a...