The aim of this paper is to explain the importance of polytope and polyhedra in automatic
parallelization. We show that the semantics of parallel programs is best described …

Advances in IC processing allow for more microprocessor design options. The increasing
gate density and cost of wires in advanced integrated circuit technologies require that we …

We describe a new algorithm for fast global register allocation called linear scan. This
algorithm is not based on graph coloring, but allocates registers to variables in a single …

The main intention of this book is to give an impression of the state-of-the-art in system-level
memory management (data transfer and storage) related issues for complex data-dominated …

We present a survey of the state-of-the-art techniques used in performing data and memory-
related optimizations in embedded systems. The optimizations are targeted directly or …

Optimizations aimed at improving the efficiency of on-chip memories are extremely
important. We propose a compiler-controlled dynamic on-chip scratch-pad memory (SPM) …

We present a new library for extracting a polyhedral model from C source. The library is
based on clang, the LLVM C frontend, and isl, a library for manipulating quasi-affine sets …

Data Access and Storage Management for Embedded Programmable Processors gives an
overview of the state-of-the-art in system-level data access and storage management for …

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

This paper presents a novel framework for the symbolic bounds analysis of pointers, array
indices, and accessed memory regions. Our framework formulates each analysis problem as …