Vugranam C. Sreedhar

TL;DR: Jalapeno is a virtual machine for JavaTM servers written in the Java language to be as self-sufficient as possible and to obtain high quality code for methods that are observed to be frequently executed or computationally intensive.

TL;DR: A new program abstraction for escape analysis, the connection graph, that is used to establish reachability relationships between objects and object references is introduced and it is shown that the connectiongraph can be summarized for each method such that the same summary information may be used effectively in different calling contexts.

TL;DR: The optimal order for basic block generation that minimizes number of regeneration is a topological order (ignoring the back edges), however, because BC2IR computes the control ow graph in the same pass, it cannot compute the optimal order a priori.

TL;DR: An escape analysis framework for Java is presented 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 a object is reachable only from a single thread during its lifetime, allowing unnecessary synchronization operations on that object to been removed.

TL;DR: The Synchronization State Buffer is proposed, a scalable architectural design for fine-grain synchronization that efficiently performs synchronizations between concurrent threads that records and manages the states of frequently synchronized data using modest hardware support.