This paper presents Soot, a framework for optimizing Java* bytecode. The framework is
implemented in Java and supports three intermediate representations for representing Java …

This survey describes research directions in techniques to improve the performance of
programs written in the Java programming language. The standard technique for Java …

Permission to make digital/hard copy of part or all of this work for personal or classroom use
is granted without fee provided that the copies are not made or distributed for profit or …

Mondrian memory protection (MMP) is a fine-grained protection scheme that allows multiple
protection domains to flexibly share memory and export protected services. In contrast to …

This paper addresses the problem of resolving virtual method and interface calls in Java
bytecode. The main focus is on a new practical technique that can be used to analyze large …

This paper presents Soot, a framework for optimizing Java™ bytecode. The framework is
implemented in Java and supports three intermediate representations for representing Java …

Use of the Internet has exploded in recent years with the appearance of the World-Wide
Web. In this paper, we show how current technological trends may lead to a system based …

Extensible typesafe systems, such as Java, rely critically on a large and complex software
base for their overall protection and integrity, and are therefore difficult to test and verify …

Java programs perform many synchronization operations on data structures. Some of these
synchronization are unnecessary; in particular, if an object is reachable only by a single …

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 …