Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Retrofitting Parallelism onto OCaml   OCaml is an industrial-strength, multi-paradigm programming language, widely
used in industry and academia. OCaml is also one of the few modern managed
system programming languages to lack support for shared memory parallel
programming. This paper describes the design, a full-fledged implementation and
evaluation of a mostly-concurrent garbage collector (GC) for the multicore
extension of the OCaml programming language. Given that we propose to add
parallelism to a widely used programming language with millions of lines of
existing code, we face the challenge of maintaining backwards
compatibility--not just in terms of the language features but also the
performance of single-threaded code running with the new GC. To this end, the
paper presents a series of novel techniques and demonstrates that the new GC
strikes a balance between performance and feature backwards compatibility for
sequential programs and scales admirably on modern multicore processors.

2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph