Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: RIOT-POLICE: An implementation of spatial memory safety for the RIOT
  operating system   We present an integration of a safe C dialect, Checked C, for the Internet of
Things operating system RIOT. We utilize this integration to convert parts of
the RIOT network stack to Checked C, thereby achieving spatial memory safety in
these code parts. Similar to prior research done on IoT operating systems and
safe C dialects, our integration of Checked C remains entirely optional, i.e.
compilation with a standard C compiler not supporting the Checked C language
extension is still possible. We believe this to be the first proposed
integration of a safe C dialect for the RIOT operating system. We present an
incremental process for converting RIOT modules to Checked C, evaluate the
overhead introduced by the conversions, and discuss our general experience with
utilizing Checked C in the Internet of Things domain.

17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio