Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane
  Programming with SafeP4   The P4 programming language offers high-level, declarative abstractions that
bring the flexibility of software to the domain of networking. Unfortunately,
the main abstraction used to represent packet data in P4, namely header types,
lacks basic safety guarantees. Over the last few years, experience with an
increasing number of programs has shown the risks of the unsafe approach, which
often leads to subtle software bugs.
  This paper proposes SafeP4, a domain-specific language for programmable data
planes in which all packet data is guaranteed to have a well-defined meaning
and satisfy essential safety guarantees. We equip SafeP4 with a formal
semantics and a static type system that statically guarantees header
validity---a common source of safety bugs according to our analysis of
real-world P4 programs. Statically ensuring header validity is challenging
because the set of valid headers can be modified at runtime, making it a
dynamic program property. Our type system achieves static safety by using a
form of path-sensitive reasoning that tracks dynamic information from
conditional statements, routing tables, and the control plane. Our evaluation
shows that SafeP4's type system can effectively eliminate common failures in
many real-world programs.

30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
16
The categories of this paper are: stat
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol