Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Parameterized Construction of Program Representations for Sparse
  Dataflow Analyses   Data-flow analyses usually associate information with control flow regions.
Informally, if these regions are too small, like a point between two
consecutive statements, we call the analysis dense. On the other hand, if these
regions include many such points, then we call it sparse. This paper presents a
systematic method to build program representations that support sparse
analyses. To pave the way to this framework we clarify the bibliography about
well-known intermediate program representations. We show that our approach, up
to parameter choice, subsumes many of these representations, such as the SSA,
SSI and e-SSA forms. In particular, our algorithms are faster, simpler and more
frugal than the previous techniques used to construct SSI - Static Single
Information - form programs. We produce intermediate representations isomorphic
to Choi et al.'s Sparse Evaluation Graphs (SEG) for the family of data-flow
problems that can be partitioned per variables. However, contrary to SEGs, we
can handle - sparsely - problems that are not in this family.

17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys