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

Compiling for parallelism is a longstanding topic of compiler research. This book describes
the fundamental principles of compiling" regular" numerical programs for parallelism. We …

We present an on-the-fly mechanism that detects access conflicts in executions of multi-
threaded Java programs. Access conflicts are a conservative approximation of data races …

ThE paper presents an efficient on-the-fly method for detecting accessanomalies in
programs that contain critical section coordinw tion. For a large class of programs, a single …

In this paper we present an approach, based on data flow analysis, that can provide cost-
effective analysis of concurrent programs with respect to explicitly stated correctness …

Abstract The ParaScope Editor, an intelligent interactive editor for parallel Fortran programs,
which is the centerpiece of the ParaScope project, an integrated collection of tools to help …

Many parallel programs are written in SPMD style ie by running the same sequential
program on all processes. SPMD programs include synchronization, but it is easy to write …

We present a solution to the reaching definitions problem for programs with explicit lexically
specified parallel constructs, such as cobegin/coend or parallel_sections, both with and …

ｺ 5 ｼ ｽｿ ｾ h ｻ X ﾀﾂ ﾁｩﾃﾄ ﾄ & ｻｩﾁ, ｼｧﾅ & ﾃﾆﾇ ﾃﾈｨ ﾁ 5 ﾃﾉ ﾊ B ﾀ'ﾁ 5 ｼ 7 ﾋ k ｻ 5 ｼｧﾋﾌ ﾅ &
ﾆﾍ ｼｧﾎｦｻ l ﾊ% ﾄﾏﾀ'ﾆｦｻ ﾐﾒ ﾑ ｦｻﾔ ﾓﾖﾕ% ﾗ木, ﾙ d ﾚぺ ﾛ, ﾗ責} ﾜ s ﾕﾞ ﾝ'ﾙ ﾟ 燎矼 稾ﾛ ﾜ s ﾕ B …

Non-concurrency analysis is a set of techniques for statically identifying pairs (or sets) of
statements in a concurrent program which can never happen together. This information aids …