Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Algorithmic Synthesis of Synchronization for Shared-Memory
  Concurrent Programs   We present a framework that takes a concurrent program composed of
unsynchronized processes, along with a temporal specification of their global
concurrent behaviour, and automatically generates a concurrent program with
synchronization ensuring correct global behaviour. Our methodology supports
finite-state concurrent programs composed of processes that may have local and
shared variables, may be straight-line or branching programs, may be ongoing or
terminating, and may have program-initialized or user-initialized variables.
The specification language is an extension of propositional Computation Tree
Logic (CTL) that enables easy specification of safety and liveness properties
over control and data variables. The framework also supports synthesis of
synchronization at different levels of abstraction and granularity.

15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg