Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Specialization of Generic Array Accesses After Inlining   We have implemented an optimization that specializes type-generic array
accesses after inlining of polymorphic functions in the native-code OCaml
compiler. Polymorphic array operations (read and write) in OCaml require
runtime type dispatch because of ad hoc memory representations of integer and
float arrays. It cannot be removed even after being monomorphized by inlining
because the intermediate language is mostly untyped. We therefore extended it
with explicit type application like System F (while keeping implicit type
abstraction by means of unique identifiers for type variables). Our
optimization has achieved up to 21% speed-up of numerical programs.

26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an