The field of program analysis has focused primarily on sequential programming languages.
But multithreading is becoming increasingly important, both as a program structuring …

O primeiro objetivo deste livro é servir como livro-texto para disciplinas de cursos
relacionados ao desenvolvimento de software como Ciência ou Engenharia da …

During the past twenty-one years, over seventy-five papers and nine Ph. D. theses have
been published on pointer analysis. Given the tomes of work on this topic one may …

This paper presents the first scalable context-sensitive, inclusion-based pointer alias
analysis for Java programs. Our approach to context sensitivity is to create a clone of a …

We present a novel technique for static race detection in Java programs, comprised of a
series of stages that employ a combination of static analyses to successively reduce the …

Performance for the Java™ Platform has evolved in stages. Early VM's were interpreter-only.
Later VM's were interpreter plus template generated code, and finally interpreter plus …

The goal of points-to analysis for Java is to determine the set of objects pointed to by a
reference variable or a reference object field. We present object sensitivity, a new form of …

This paper presents a simple and efficient data flow algorithm for escape analysis of objects
in Java programs to determine (i) if an object can be allocated on the stack;(ii) if an object is …

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 …

We present a scalable and precise context-sensitive points-to analysis with three key
properties:(1) filtering out of unrealizable paths,(2) a context-sensitive heap abstraction, and …