Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Representation of Partially Specified Implementations and its
  Application to the Optimization of Linear Algebra Kernels on GPU   Traditional optimizing compilers rely on rewrite rules to iteratively apply
program transformations. This iterative approach hides optimization
opportunities behind intermediate transformation steps. For instance,
vectorization can only be applied to the innermost loop in a nest: one must
first perform a loop interchange before even considering vectorization of an
outer loop. In contrast, we propose an implementation framework representing
programs as sets of possible implementation decisions. Specifying one decision
can have an impact on others in a bidirectional manner: specifying that a loop
must be vectorized prevents other loops from being nested inside it;
conversely, specifying a loop as an outer loop will prevent it from being
vectorized. These optimization decisions commute, obviating the pass ordering
problem. We present a constraint programming system to formally define,
represent and explore such implementation spaces. We also propose an
exploration strategy combining tree search and branch-and-bound; the strength
and novelty of this strategy reside in an analytical model of the lower bound
on the execution time of a set of possible implementations. We showcase our
approach on the construction and exploration of an implementation space for
linear algebra kernels running on GPUs. We show this search space is expressive
enough to represent complex decisions that fundamentally change the structure
of the generated code. We also present preliminary results competitive with the
performance of native GPU libraries.

22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
24
The categories of this paper are: dg-ga