Many program analyses benefit, both in precision and performance, from precise pointer
analysis. An important dimension of pointer analysis precision is flow-sensitivity, which has …

Compilers commonly translate an input program into an intermediate representation (IR)
before optimizing it and generating code. Over time there have been a number of different …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these
analyses depends on the precision of the pointer information they receive. Two major axes …

Static single assignment form (SSA) is a popular program intermediate representation (IR)
for static analysis. SSA programs differ from equivalent control flow graph (CFG) programs …

The multi-index matching is an NP-hard combinatorial optimization problem; for two indices
it reduces to the well understood bipartite matching problem that belongs to the polynomial …

Static analysis is a method within software analysis, and pointer analysis is an important
component of static analysis. An important dimension of pointer analysis is field-sensitivity …

Abstract The Static Single Assignment (SSA) form is an intermediate representation used for
the analysis and optimization of programs in modern compilers. The ϕ-function placement is …

The Static Single Assignment (SSA) language is one of the intermediate representations
commonly used in industrial compilers. However, there was little interest from the static …

We present a verifiable low-level program representation to embed, propagate, and
preserve safety information in high perfor-mance compilers for safe languages such as Java …