Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Learning a Static Analyzer from Data   To be practically useful, modern static analyzers must precisely model the
effect of both, statements in the programming language as well as frameworks
used by the program under analysis. While important, manually addressing these
challenges is difficult for at least two reasons: (i) the effects on the
overall analysis can be non-trivial, and (ii) as the size and complexity of
modern libraries increase, so is the number of cases the analysis must handle.
  In this paper we present a new, automated approach for creating static
analyzers: instead of manually providing the various inference rules of the
analyzer, the key idea is to learn these rules from a dataset of programs. Our
method consists of two ingredients: (i) a synthesis algorithm capable of
learning a candidate analyzer from a given dataset, and (ii) a counter-example
guided learning procedure which generates new programs beyond those in the
initial dataset, critical for discovering corner cases and ensuring the learned
analysis generalizes to unseen programs.
  We implemented and instantiated our approach to the task of learning
JavaScript static analysis rules for a subset of points-to analysis and for
allocation sites analysis. These are challenging yet important problems that
have received significant research attention. We show that our approach is
effective: our system automatically discovered practical and useful inference
rules for many cases that are tricky to manually identify and are missed by
state-of-the-art, manually tuned analyzers.

21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
27
The categories of this paper are: comp-gas
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg