Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Extending Basic Block Versioning with Typed Object Shapes   Typical JavaScript (JS) programs feature a large number of object property
accesses. Hence, fast property reads and writes are crucial for good
performance. Unfortunately, many (often redundant) dynamic checks are implied
in each property access and the semantic complexity of JS makes it difficult to
optimize away these tests through program analysis. We introduce two techniques
to effectively eliminate a large proportion of dynamic checks related to object
property accesses.
  Typed shapes enable code specialization based on object property types
without potentially complex and expensive analyses. Shape propagation allows
the elimination of redundant shape checks in inline caches. These two
techniques combine particularly well with Basic Block Versioning (BBV), but
should be easily adaptable to tracing Just-In-Time (JIT) compilers and method
JITs with type feedback.
  To assess the effectiveness of the techniques presented, we have implemented
them in Higgs, a type-specializing JIT compiler for JS. The techniques are
compared to a baseline using polymorphic Inline Caches (PICs), as well as
commercial JS implementations. Empirical results show that across the 26
benchmarks tested, these techniques eliminate on average 48% of type tests,
reduce code size by 17% and reduce execution time by 25%. On several
benchmarks, Higgs performs better than current production JS virtual machines

7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph