Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Static Analysis Framework for Data Science Notebooks   Notebooks provide an interactive environment for programmers to develop code,
analyse data and inject interleaved visualizations in a single environment.
Despite their flexibility, a major pitfall that data scientists encounter is
unexpected behaviour caused by the unique out-of-order execution model of
notebooks. As a result, data scientists face various challenges ranging from
notebook correctness, reproducibility and cleaning. In this paper, we propose a
framework that performs static analysis on notebooks, incorporating their
unique execution semantics. Our framework is general in the sense that it
accommodate for a wide range of analyses, useful for various notebook use
cases. We have instantiated our framework on a diverse set of analyses and have
evaluated them on 2211 real world notebooks. Our evaluation demonstrates that
the vast majority (98.7%) of notebooks can be analysed in less than a second,
well within the time frame required by interactive notebook clients

29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg