The difficulty of deploying various deep learning (DL) models on diverse DL hardware has
boosted the research and development of DL compilers in the community. Several DL …

In compiler research, polytopes and related mathematical objects have been successfully
used for several decades to represent and manipulate computer programs in an approach …

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 …

Designers often apply manual or semi-automatic loop and data transformations on array-
and loop-intensive programs to improve performance. It is crucial that such transformations …

Counting Affine Calculator and Applications Page 1 April 3, 2011 1 / 23 Counting Affine
Calculator and Applications Sven Verdoolaege Team ALCHEMY, INRIA Saclay, France …

Reference implementations of signal processing applications are often written in a
sequential language that does not reveal the available parallelism in the application …

1.1 Introduction isl is a thread-safe C library for manipulating sets and relations of integer
points bounded by affine constraints. The descriptions of the sets and relations may involve …

This tutorial is intended for anyone who wants to learn about polyhedral compilation. The
main focus is on the concepts and operations involved and on Note 1.1 how to use them to …

The Cerebras CS-1 is a computing system based on a waferscale processor having nearly
400,000 compute cores. It is intended for training of and inference on deep neural networks …

Many compiler optimization techniques depend on the ability to calculate the number of
integer values that satisfy a given set of linear constraints. This count (the enumerator of a …