In this paper, we address the question of how to automatically map computational kernels to
highly efficient code for a wide range of computing platforms and establish the correctness of …

This invention relates to programming of computers with various kinds of facilities for parallel
or other high capability execution of computer programs, specifically to the automated …

Linear signal transforms such as the discrete Fourier transform (DFT) are very widely used in
digital signal processing and other domains. Due to high performance or efficiency …

This paper presents a systematic methodology to derive and classify fast algorithms for
linear transforms. The approach is based on the algebraic signal processing theory. This …

This article gives an overview on the techniques needed to implement the discrete Fourier
transform (DFT) efficiently on current multicore systems. The focus is on Intel-compatible …

Program generators for high performance libraries are an appealing solution to the recurring
problem of porting and optimizing code with every new processor generation, but only few …

We consider the problem of optimal real-time scheduling of periodic and sporadic tasks on
identical multiprocessors. A number of recent papers have used the notions of fluid …

Abstract We present the Operator Language (OL), a framework to automatically generate
fast numerical kernels. OL provides the structure to extend the program generation system …

The problem of choosing fast implementations for a class of recursive algorithms such as the
fast Fourier transforms can be formulated as an optimization problem over the language …

Shoal: Smart Allocation and Replication of Memory For Parallel Programs Page 1 This
paper is included in the Proceedings of the 2015 USENIX Annual Technical Conference (USENIC …