Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC   Maintaining leadership in HPC requires the ability to support simulations at
large scales and fidelity. In this study, we detail one of the most significant
productivity challenges in achieving this goal, namely the increasing
proclivity to bugs, especially in the face of growing hardware and software
heterogeneity and sheer system scale. We identify key areas where timely new
research must be proactively begun to address these challenges, and create new
correctness tools that must ideally play a significant role even while ramping
up toward exacale. We close with the proposal for a two-day workshop in which
the problems identified in this report can be more broadly discussed, and
specific plans to launch these new research thrusts identified.

26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat
14
The categories of this paper are: math-ph