This paper considers the correctness of domain-specific compilers for tensor programming
languages through the study of Halide, a popular representative. It describes a translation …

The polyhedral model is a high-level intermediate representation for loop nests that supports
elegantly a great many loop optimizations. In a compiler, after polyhedral loop optimizations …

Structural nested loops can be abstracted into polyhedral models, based on which one can
perform aggressive loop optimizations; however, the optimizations are often heuristic and …

L'utilisation des assistants de preuve comme Coq prend de plus en plus d'ampleur. De tels
outils permettent de démontrer formellement aussi bien des résultats mathématiques que …

Another use for the polyhedral model is to synthesize efficient software or hardware
implementations of matrix and tensor computations. Domain-specific languages such as …