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

Is your memory hierarchy stopping your microprocessor from performing at the high level it
should be? Memory Systems: Cache, DRAM, Disk shows you how to resolve this problem …

Published in 1996, Richard Jones's Garbage Collection was a milestone in the area of
automatic memory management. Its widely acclaimed successor, The Garbage Collection …

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 …

Data flow analysis is used to discover information for a wide variety of useful applications,
ranging from compiler optimizations to software engineering and verification. Modern …

We present a novel approach to dynamic datarace detection for multithreaded object-
oriented programs. Past techniques for on-the-fly datarace detection either sacrificed …

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 …

This paper presents a static race detection analysis for multithreaded Java programs. Our
analysis is based on a formal type system that is capable of capturing many common …

This paper presents a combined pointer and escape analysis algorithm for Java programs.
The algorithm is based on the abstraction of points-to escape graphs, which characterize …