Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Program Analysis with Local Policy Iteration   We present a new algorithm for deriving numerical invariants that combines
the precision of max-policy iteration with the flexibility and scalability of
conventional Kleene iterations. It is defined in the Configurable Program
Analysis (CPA) framework, thus allowing inter-analysis communication.
  It uses adjustable-block encoding in order to traverse loop-free program
sections, possibly containing branching, without introducing extra abstraction.
Our technique operates over any template linear constraint domain, including
the interval and octagon domains; templates can also be derived from the
program source.
  The implementation is evaluated on a set of benchmarks from the Software
Verification Competition (SV-Comp). It competes favorably with state-of-the-art
analyzers.

36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat