Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: VSync: Push-Button Verification and Optimization for Synchronization
  Primitives on Weak Memory Models (Technical Report)   This technical report contains material accompanying our work with same title
published at ASPLOS'21. We start in Sec. 1 with a detailed presentation of the
core innovation of this work, Await Model Checking (AMC). The correctness
proofs of AMC can be found in Sec. 2. Next, we discuss three study cases in
Sec. 3, presenting bugs found and challenges encountered when applying VSync to
existing code bases. Finally, in Sec. 4 we describe the setup details of our
evaluation and report further experimental results.

16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
10
The categories of this paper are: q-bio