Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Simulator for LLVM Bitcode   In this paper, we introduce an interactive simulator for programs in the form
of LLVM bitcode. The main features of the simulator include precise control
over thread scheduling, automatic checkpoints and reverse stepping, support for
source-level information about functions and variables in C and C++ programs
and structured heap visualisation. Additionally, the simulator is compatible
with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and
analyse counterexamples from an existing model checker.

33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys