Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: LoopInvGen: A Loop Invariant Generator based on Precondition Inference   We describe the LoopInvGen tool for generating loop invariants that can
provably guarantee correctness of a program with respect to a given
specification. LoopInvGen is an efficient implementation of the inference
technique originally proposed in our earlier work on PIE
(https://doi.org/10.1145/2908080.2908099).
  In contrast to existing techniques, LoopInvGen is not restricted to a fixed
set of features -- atomic predicates that are composed together to build
complex loop invariants. Instead, we start with no initial features, and use
program synthesis techniques to grow the set on demand. This not only enables a
less onerous and more expressive approach, but also appears to be significantly
faster than the existing tools over the SyGuS-COMP 2018 benchmarks from the INV
track.

10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin