In order to meet stringent performance requirements, system administrators must effectively
detect undesirable performance behaviours, identify potential root causes, and take …

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 paper presents Soot, a framework for optimizing Java™ bytecode. The framework is
implemented in Java and supports three intermediate representations for representing Java …

A program's cache performance can be improved by changing the organization and layout
of its data---even complex, pointer-based data structures. Previous techniques improved the …

The term “Java” is used to denote two different concepts: the language itself and the related
execution environment, the Java Virtual Machine (JVM), which executes byte code …

2015-05-01 Assigned to MORGAN STANLEY SENIOR FUNDING, INC., AS COLLATERAL
AGENT reassignment MORGAN STANLEY SENIOR FUNDING, INC., AS COLLATERAL …

The article introduces a new approach to code safety. We present Naccio, a system
architecture that allows a large class of safety policies to be expressed in a general and …

Requirements compliant software is becoming a necessity. Fewer and fewer organizations
will run their critical transactions on software that has no visible relationship to its …

With the spread of the Internet the computing model on server systems is undergoing
several important changes. Recent research ideas concerning dynamic operating system …

In this paper, we present a semi-automatic approach for summarizing the content of large
execution traces. Similar to text summarization, where abstracts can be extracted from large …