Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient Synthesis of Network Updates   Software-defined networking (SDN) is revolutionizing the networking industry,
but current SDN programming platforms do not provide automated mechanisms for
updating global configurations on the fly. Implementing updates by hand is
challenging for SDN programmers because networks are distributed systems with
hundreds or thousands of interacting nodes. Even if initial and final
configurations are correct, naively updating individual nodes can lead to
incorrect transient behaviors, including loops, black holes, and access control
violations. This paper presents an approach for automatically synthesizing
updates that are guaranteed to preserve specified properties. We formalize
network updates as a distributed programming problem and develop a synthesis
algorithm based on counterexample-guided search and incremental model checking.
We describe a prototype implementation, and present results from experiments on
real-world topologies and properties demonstrating that our tool scales to
updates involving over one-thousand nodes.

17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
2
The categories of this paper are: math