Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Composable Concurrency Abstractions   In the past decades, many different programming models for managing
concurrency in applications have been proposed, such as the actor model,
Communicating Sequential Processes, and Software Transactional Memory. The
ubiquity of multi-core processors has made harnessing concurrency even more
important. We observe that modern languages, such as Scala, Clojure, or F#,
provide not one, but multiple concurrency models that help developers manage
concurrency. Large end-user applications are rarely built using just a single
concurrency model. Programmers need to manage a responsive UI, deal with file
or network I/O, asynchronous workflows, and shared resources. Different
concurrency models facilitate different requirements. This raises the issue of
how these concurrency models interact, and whether they are composable. After
all, combining different concurrency models may lead to subtle bugs or
inconsistencies.
  In this paper, we perform an in-depth study of the concurrency abstractions
provided by the Clojure language. We study all pairwise combinations of the
abstractions, noting which ones compose without issues, and which do not. We
make an attempt to abstract from the specifics of Clojure, identifying the
general properties of concurrency models that facilitate or hinder composition.

5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess