Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Symmetry in Software Synthesis   With the surge of multi- and manycores, much research has focused on
algorithms for mapping and scheduling on these complex platforms. Large classes
of these algorithms face scalability problems. This is why diverse methods are
commonly used for reducing the search space. While most such approaches
leverage the inherent symmetry of architectures and applications, they do it in
a problem-specific and intuitive way. However, intuitive approaches become
impractical with growing hardware complexity, like Network-on-Chip interconnect
or heterogeneous cores. In this paper, we present a formal framework that can
determine the inherent symmetry of architectures and applications
algorithmically and leverage these for problems in software synthesis. Our
approach is based on the mathematical theory of groups and a generalization
called inverse semigroups. We evaluate our approach in two state-of-the-art
mapping frameworks. Even for the platforms with a handful of cores of today and
moderate-size benchmarks, our approach consistently yields reductions of the
overall execution time of algorithms, accelerating them by a factor up to 10 in
our experiments, or improving the quality of the results.

15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an