Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: C11Tester: A Race Detector for C/C++ Atomics Technical Report   Writing correct concurrent code that uses atomics under the C/C++ memory
model is extremely difficult. We present C11Tester, a race detector for the
C/C++ memory model that can explore executions in a larger fragment of the
C/C++ memory model than previous race detector tools. Relative to previous
work, C11Tester's larger fragment includes behaviors that are exhibited by ARM
processors. C11Tester uses a new constraint-based algorithm to implement
modification order that is optimized to allow C11Tester to make decisions in
terms of application-visible behaviors. We evaluate C11Tester on several
benchmark applications, and compare C11Tester's performance to both tsan11rec,
the state of the art tool that controls scheduling for C/C++; and tsan11, the
state of the art tool that does not control scheduling.

25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph