Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Variability Abstractions: Trading Precision for Speed in Family-Based
  Analyses (Extended Version)   Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is
capable of analyzing all valid products (variants) without generating any of
them explicitly. It takes as input only the common code base, which encodes all
variants of a SPL, and produces analysis results corresponding to all variants.
However, the computational cost of the lifted analysis still depends inherently
on the number of variants (which is exponential in the number of features, in
the worst case). For a large number of features, the lifted analysis may be too
costly or even infeasible. In this paper, we introduce variability abstractions
defined as Galois connections and use abstract interpretation as a formal
method for the calculational-based derivation of approximate (abstracted)
lifted analyses of SPL programs, which are sound by construction. Moreover,
given an abstraction we define a syntactic transformation that translates any
SPL program into an abstracted version of it, such that the analysis of the
abstracted SPL coincides with the corresponding abstracted analysis of the
original SPL. We implement the transformation in a tool, reconfigurator that
works on Object-Oriented Java program families, and evaluate the practicality
of this approach on three Java SPL benchmarks.

36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex