The polyhedral model provides powerful abstractions to optimize loop nests with regular
accesses. Affine transformations in this model capture a complex sequence of execution …

Accelerating tensor applications on spatial architectures provides high performance and
energy-efficiency, but requires accurate performance models for evaluating various dataflow …

Proving the termination of a flowchart program can be done by exhibiting a ranking function,
ie, a function from the program states to a well-founded set, which strictly decreases at each …

This is a self-contained exposition of several core aspects of the theory of rational polyhedra
with a view towards algorithmic applications to efficient counting of integer points, a problem …

Time-tiling is necessary for the efficient execution of iterative stencil computations. Classical
hyper-rectangular tiles cannot be used due to the combination of backward and forward …

It is undeniable that geometric ideas have been very important to the foundations of modern
discrete optimization. The influence that geometric algorithms have in optimization was …

Much of the work to date on dataflow models for signal processing system design has
focused on decidable dataflow models that are best suited for one-dimensional signal …

Symbolic execution is a systematic technique for checking programs, which forms a basis for
various software testing and verification techniques. It provides a powerful analysis in …

Memory bottleneck has become a limiting factor in satisfying the explosive demands on
performance and cost in modern embedded system design. Selected computation kernels …

The significant development of high-level synthesis tools has greatly facilitated FPGAs as
general computing platforms. During the parallelism optimization for the data path, memory …